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