search

Gabriella439 / Haskell-Morte-Library

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

Use LTS 13.8 #87

Closed ghost closed 5 years ago

ghost commented 5 years ago

This seems to work

Gabriella439 commented 5 years ago

Thank you! 🙂