search

Gabriella439 / Haskell-Morte-Library

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

Test with GHC 8.0 on Travis #51

Closed int-index closed 8 years ago

Gabriella439 commented 8 years ago

Fixed by 97051a772fa607731fc8a13737c42429ab001fa6