search

ucsd-progsys / liquidhaskell-tutorial

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

Fixes to the introduction chapter #127

Closed facundominguez closed 1 year ago

ranjitjhala commented 1 year ago

Thanks @facundominguez !