melitte

(★ 30)

Toy implementation of Martin-Löf Type Theory

melitte Latest Version Download

Download Latest Version (.zip)
// repository documentation