GitHub

This repo exists to collect examples of things in Liquid Haskell.

It is intended for personal use, but others are welcome to use and adapt any and all code if it helps them.

NOTE: Some things in this repo are broken. I've opened a bunch of issues on the liquidhaskell repo.

Name		Name	Last commit message	Last commit date
Latest commit History 36 Commits
.gitignore		.gitignore
BadErrorMsg.hs		BadErrorMsg.hs
ClassMeasure.hs		ClassMeasure.hs
Collects.hs		Collects.hs
CollectsAsAConstraint.hs		CollectsAsAConstraint.hs
CollectsWithConstraint.hs		CollectsWithConstraint.hs
Decrease.hs		Decrease.hs
GCDProof.hs		GCDProof.hs
LCM.hs		LCM.hs
LList.hs		LList.hs
LList2.hs		LList2.hs
MapIssue.hs		MapIssue.hs
MeasureIssue.hs		MeasureIssue.hs
README.md		README.md
REMProof.hs		REMProof.hs
Streams.hs		Streams.hs

Provide feedback