search

Gabriella439 / Haskell-Morte-Library

A bare-bones calculus-of-constructions
BSD 3-Clause "New" or "Revised" License
372 stars 25 forks source link

Version 1.6.20 → 1.7.0 #78

Closed Gabriella439 closed 5 years ago