malk-core 0.1.1

Partial implementation of dependent types
Documentation