Haskell-Morte-Library

Haskell ★ 384 updated 3y ago

A bare-bones calculus-of-constructions

No plain-English explanation yet — one is being written right now. Check back in a minute.