Garmelon/asciiprooftree
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Tweak output

Browse source
This commit is contained in:
Joscha 2024-09-04 19:45:56 +02:00
parent 448138b826
commit 7ab8e0d6f4
2 changed files with 8 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

14
README.md
View file

@ -3,11 +3,11 @@
Format and reformat ascii proof trees like this one:
```text
§ *
§ ----------------------------- [;] compose
§ [a;b;]p(||) <-> [a;][b;]p(||)
§ ----------------------------------------- US
§ [x:=*;][?x>0;][x:=x+1;]x>1 [?x>0;x:=x+1;]x>1 <-> [?x>0;][x:=x+1;]x>1
§ ---------------------------------------------------------------------- RewriteAt
§ [x:=*;][?x>0;x:=x+1;]x>1
§ *
§ ----------------------------- [;] compose
§ [a;b;]p(||) <-> [a;][b;]p(||)
§ ----------------------------------------- US
§ [x:=*;][?x>0;][x:=x+1;]x>1 [?x>0;x:=x+1;]x>1 <-> [?x>0;][x:=x+1;]x>1
§ ---------------------------------------------------------------------- RewriteAt
§ [x:=*;][?x>0;x:=x+1;]x>1
```

2
src/main/scala/de/plugh/asciiprooftree/file/Block.scala
View file

@ -5,7 +5,7 @@ case class Block(lines: Seq[(String, String)]):
def last: (String, String) = lines.last
def content: Seq[String] = lines.map((_, content) => content)
def toLines: Seq[String] = lines.map((prefix, content) => s"$prefix $content")
def toLines: Seq[String] = lines.map((prefix, content) => s"$prefix $content")
def extend(prefix: String, content: String): Block = Block(lines :+ (prefix, content))