introliquid.hs

A Liquid Haskell playground. Contain some exercises from An Introduction to Liquid Haskell

Name		Name	Last commit message	Last commit date
Latest commit History 44 Commits
app		app
src		src
test		test
.gitignore		.gitignore
.travis.yml		.travis.yml
ChangeLog.md		ChangeLog.md
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
package.yaml		package.yaml
stack.yaml		stack.yaml

Provide feedback