search

ucsd-progsys / liquidhaskell-tutorial

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

Fix for issue #74 #75

Open mhwombat opened 5 years ago

mhwombat commented 5 years ago

See also https://github.com/ucsd-progsys/liquidhaskell/issues/1297.

ranjitjhala commented 4 years ago

Thanks so much! Apologies for the delay!!