malk-core
| Crates.io | malk-core |
| lib.rs | malk-core |
| version | 0.1.1 |
| source | src |
| created_at | 2016-09-27 09:29:21.971641 |
| updated_at | 2016-10-04 07:50:29.742674 |
| description | Partial implementation of dependent types |
| homepage | https://github.com/canndrew/malk-core |
| repository | https://github.com/canndrew/malk-core |
| max_upload_size | |
| id | 6639 |
| size | 30,584 |
Andrew Cann (canndrew)
documentation
README
malk-core
A simple (and very incomplete) type theory implementation for a dependently typed programming language.