search

Gabriella439 / Haskell-Morte-Library

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

Fix tutorial example #83

Closed Gabriella439 closed 6 years ago

Gabriella439 commented 6 years ago

Fixes #82