├── .github └── workflows │ └── build.yml ├── .gitignore ├── COPYING ├── README.md ├── project ├── build.properties └── plugins.sbt └── src ├── main └── scala │ └── trepplein │ ├── doc.scala │ ├── environment.scala │ ├── expr.scala │ ├── inductive.scala │ ├── level.scala │ ├── main.scala │ ├── name.scala │ ├── parser.scala │ ├── pretty.scala │ ├── quotient.scala │ ├── reduction.scala │ ├── typechecker.scala │ └── unionfind.scala └── test └── scala └── nat.scala /.github/workflows/build.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gebner/trepplein/HEAD/.github/workflows/build.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | /.history 2 | /.idea 3 | target 4 | /.bsp 5 | -------------------------------------------------------------------------------- /COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gebner/trepplein/HEAD/COPYING -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gebner/trepplein/HEAD/README.md -------------------------------------------------------------------------------- /project/build.properties: -------------------------------------------------------------------------------- 1 | sbt.version = 1.5.1 2 | -------------------------------------------------------------------------------- /project/plugins.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gebner/trepplein/HEAD/project/plugins.sbt -------------------------------------------------------------------------------- /src/main/scala/trepplein/doc.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gebner/trepplein/HEAD/src/main/scala/trepplein/doc.scala -------------------------------------------------------------------------------- /src/main/scala/trepplein/environment.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gebner/trepplein/HEAD/src/main/scala/trepplein/environment.scala -------------------------------------------------------------------------------- /src/main/scala/trepplein/expr.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gebner/trepplein/HEAD/src/main/scala/trepplein/expr.scala -------------------------------------------------------------------------------- /src/main/scala/trepplein/inductive.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gebner/trepplein/HEAD/src/main/scala/trepplein/inductive.scala -------------------------------------------------------------------------------- /src/main/scala/trepplein/level.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gebner/trepplein/HEAD/src/main/scala/trepplein/level.scala -------------------------------------------------------------------------------- /src/main/scala/trepplein/main.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gebner/trepplein/HEAD/src/main/scala/trepplein/main.scala -------------------------------------------------------------------------------- /src/main/scala/trepplein/name.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gebner/trepplein/HEAD/src/main/scala/trepplein/name.scala -------------------------------------------------------------------------------- /src/main/scala/trepplein/parser.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gebner/trepplein/HEAD/src/main/scala/trepplein/parser.scala -------------------------------------------------------------------------------- /src/main/scala/trepplein/pretty.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gebner/trepplein/HEAD/src/main/scala/trepplein/pretty.scala -------------------------------------------------------------------------------- /src/main/scala/trepplein/quotient.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gebner/trepplein/HEAD/src/main/scala/trepplein/quotient.scala -------------------------------------------------------------------------------- /src/main/scala/trepplein/reduction.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gebner/trepplein/HEAD/src/main/scala/trepplein/reduction.scala -------------------------------------------------------------------------------- /src/main/scala/trepplein/typechecker.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gebner/trepplein/HEAD/src/main/scala/trepplein/typechecker.scala -------------------------------------------------------------------------------- /src/main/scala/trepplein/unionfind.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gebner/trepplein/HEAD/src/main/scala/trepplein/unionfind.scala -------------------------------------------------------------------------------- /src/test/scala/nat.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gebner/trepplein/HEAD/src/test/scala/nat.scala --------------------------------------------------------------------------------