resync with master - Githubissues

latte-central / LaTTe

LaTTe : a Laboratory for Type Theory experiments (in clojure)

http://latte-central.github.io/LaTTe/

MIT License

256 stars 13 forks source link

resync with master #28

Closed fredokun closed 5 years ago