search

ucsd-progsys / liquidhaskell-tutorial

Tutorial for LiquidHaskell
https://ucsd-progsys.github.io/liquidhaskell-tutorial/
MIT License
75 stars 27 forks source link

Added spec blurb #31

Closed christetreault closed 8 years ago

christetreault commented 8 years ago

I've adapted the .spec file blurb from the readme for inclusion in the book.

ranjitjhala commented 8 years ago

Great, thanks!