apparent typo in tutorial under "Testing Values: Booleans and Propositions" - Githubissues

ucsd-progsys / liquidhaskell-tutorial

Tutorial for LiquidHaskell

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

MIT License

74 stars 27 forks source link

apparent typo in tutorial under "Testing Values: Booleans and Propositions" #104

Closed pdavidow closed 4 years ago