├── .gitignore ├── .travis.yml ├── README.md ├── abt.ml ├── project ├── build.properties └── plugins.sbt ├── src └── abt │ ├── abt.scala │ └── examples │ ├── BidirTypechecking.scala │ ├── LambdaCalc.scala │ └── MiniMLTermSyn.scala └── test-src └── abt ├── AbtTests.scala └── examples └── BidirTests.scala /.gitignore: -------------------------------------------------------------------------------- 1 | /bin/ 2 | .cache-main 3 | .classpath 4 | .project 5 | -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blaisorblade/abt/HEAD/.travis.yml -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blaisorblade/abt/HEAD/README.md -------------------------------------------------------------------------------- /abt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blaisorblade/abt/HEAD/abt.ml -------------------------------------------------------------------------------- /project/build.properties: -------------------------------------------------------------------------------- 1 | sbt.version=0.13.9 2 | -------------------------------------------------------------------------------- /project/plugins.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blaisorblade/abt/HEAD/project/plugins.sbt -------------------------------------------------------------------------------- /src/abt/abt.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blaisorblade/abt/HEAD/src/abt/abt.scala -------------------------------------------------------------------------------- /src/abt/examples/BidirTypechecking.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blaisorblade/abt/HEAD/src/abt/examples/BidirTypechecking.scala -------------------------------------------------------------------------------- /src/abt/examples/LambdaCalc.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blaisorblade/abt/HEAD/src/abt/examples/LambdaCalc.scala -------------------------------------------------------------------------------- /src/abt/examples/MiniMLTermSyn.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blaisorblade/abt/HEAD/src/abt/examples/MiniMLTermSyn.scala -------------------------------------------------------------------------------- /test-src/abt/AbtTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blaisorblade/abt/HEAD/test-src/abt/AbtTests.scala -------------------------------------------------------------------------------- /test-src/abt/examples/BidirTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Blaisorblade/abt/HEAD/test-src/abt/examples/BidirTests.scala --------------------------------------------------------------------------------