Scala primitives for an Isabelle autoindentor inspired by Wadler/Leijen.
To see an example, execute sbt run
. To run the test suite, use sbt test
.
- Create a fork!
- Create your feature branch:
git checkout -b my-new-feature
- Commit your changes:
git commit -am 'Add some feature'
- Push to the branch:
git push origin my-new-feature
- Submit a pull request.