commit 09ee1bc74c21db5c5135a960f59fdfd662374ef3
Author: Joscha <joscha@plugh.de>
Date:   Wed Sep 4 15:53:15 2024 +0200

    Create project

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..8aa5064
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,8 @@
+# sbt
+/.bsp/
+target/
+
+# IntelliJ IDEA
+/.idea/*
+!/.idea/codeStyles/
+!/.idea/codeStyles/*
diff --git a/.idea/codeStyles/Project.xml b/.idea/codeStyles/Project.xml
new file mode 100644
index 0000000..f0fb4f4
--- /dev/null
+++ b/.idea/codeStyles/Project.xml
@@ -0,0 +1,10 @@
+<component name="ProjectCodeStyleConfiguration">
+  <code_scheme name="Project" version="173">
+    <ScalaCodeStyleSettings>
+      <option name="classCountToUseImportOnDemand" value="9999" />
+      <option name="SCALAFMT_REFORMAT_ON_FILES_SAVE" value="true" />
+      <option name="FORMATTER" value="1" />
+      <option name="MULTILINE_STRING_CLOSING_QUOTES_ON_NEW_LINE" value="true" />
+    </ScalaCodeStyleSettings>
+  </code_scheme>
+</component>
\ No newline at end of file
diff --git a/.idea/codeStyles/codeStyleConfig.xml b/.idea/codeStyles/codeStyleConfig.xml
new file mode 100644
index 0000000..79ee123
--- /dev/null
+++ b/.idea/codeStyles/codeStyleConfig.xml
@@ -0,0 +1,5 @@
+<component name="ProjectCodeStyleConfiguration">
+  <state>
+    <option name="USE_PER_PROJECT_SETTINGS" value="true" />
+  </state>
+</component>
\ No newline at end of file
diff --git a/.scalafmt.conf b/.scalafmt.conf
new file mode 100644
index 0000000..c9884b1
--- /dev/null
+++ b/.scalafmt.conf
@@ -0,0 +1,27 @@
+# Scaladoc configuration docs:
+# https://scalameta.org/scalafmt/docs/configuration.html
+
+# https://github.com/scalameta/scalafmt/releases
+version = 3.8.3
+runner.dialect = scala3
+maxColumn = 120
+
+# Alignment
+align.preset = none
+align.stripMargin = true
+assumeStandardLibraryStripMargin = true
+
+# Newlines
+newlines.source = fold
+newlines.selectChains = unfold
+newlines.ignoreInSyntax = false
+
+# Rewrite rules
+rewrite.rules = [Imports]
+rewrite.imports.sort = original
+rewrite.trailingCommas.style = multiple
+
+# Comment processing
+docstrings.style = Asterisk
+docstrings.oneline = fold
+docstrings.wrap = fold
diff --git a/README.md b/README.md
new file mode 100644
index 0000000..09c9b2b
--- /dev/null
+++ b/README.md
@@ -0,0 +1,13 @@
+# asciiprooftree
+
+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
+```
diff --git a/build.sbt b/build.sbt
new file mode 100644
index 0000000..8f44aa7
--- /dev/null
+++ b/build.sbt
@@ -0,0 +1,9 @@
+val scala3Version = "3.5.0"
+
+lazy val root = project
+  .in(file("."))
+  .settings(
+    name := "asciiprooftree",
+    version := "0.0.0",
+    scalaVersion := scala3Version,
+  )
diff --git a/project/build.properties b/project/build.properties
new file mode 100644
index 0000000..ee4c672
--- /dev/null
+++ b/project/build.properties
@@ -0,0 +1 @@
+sbt.version=1.10.1
diff --git a/src/main/scala/Main.scala b/src/main/scala/Main.scala
new file mode 100644
index 0000000..c193594
--- /dev/null
+++ b/src/main/scala/Main.scala
@@ -0,0 +1,6 @@
+@main
+def hello(): Unit =
+  println("Hello world!")
+  println(msg)
+
+def msg = "I was compiled by Scala 3. :)"