search

ucsd-progsys / liquidhaskell-tutorial

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

heartBleed is not a function #30

Closed crabmusket closed 8 years ago

crabmusket commented 8 years ago

I thought that might prove confusing for those trying to follow along at the repl

ranjitjhala commented 8 years ago

Thanks a bunch!!