Fix an error on function merge in 05-datatypes - Githubissues

ucsd-progsys / liquidhaskell-tutorial

Tutorial for LiquidHaskell

https://ucsd-progsys.github.io/liquidhaskell-tutorial/

MIT License

74 stars 27 forks source link

Fix an error on function merge in 05-datatypes #78

Closed skyzh closed 5 years ago

skyzh commented 5 years ago

This pull request may fix #76 .

ranjitjhala commented 5 years ago

Thanks @SkyZH!!!