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.
A bare-bones calculus-of-constructions
No plain-English explanation yet — one is being written right now. Check back in a minute.