search

Gabriella439 / Haskell-Morte-Library

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

Add to Stackage #22

Closed tomberek closed 9 years ago

Gabriella439 commented 9 years ago

I opened the pull request here: https://github.com/fpco/stackage/pull/786

Gabriella439 commented 9 years ago

This has been added to Stackage.