2 releases
Uses old Rust 2015
| 0.1.1 | Oct 4, 2016 |
|---|---|
| 0.1.0 | Sep 27, 2016 |
#908 in Programming languages
33 downloads per month
31KB
815 lines
malk-core
A simple (and very incomplete) type theory implementation for a dependently typed programming language.