malk-core A simple (and very incomplete) type theory implementation for a dependently typed programming language.