GitHub

Exercises taken from multiple sources
To practice functional programming in Haskell. Checkout https://github.com/hotessy/haskell-tutorial

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
.gitignore		.gitignore
BTree.thy		BTree.thy
BarcanDeduce.thy		BarcanDeduce.thy
Boolean.thy		Boolean.thy
Epistemic_S5.thy		Epistemic_S5.thy
IMP.thy		IMP.thy
NaturalDeduction.thy		NaturalDeduction.thy
QML_S5.thy		QML_S5.thy
README.md		README.md
ToyList.thy		ToyList.thy
Week1.thy		Week1.thy
Week2.thy		Week2.thy
Week3.thy		Week3.thy
Week4.thy		Week4.thy
Week5.thy		Week5.thy
WiseMen.thy		WiseMen.thy
demo.thy		demo.thy
demoDT.thy		demoDT.thy
styleShow.thy		styleShow.thy

Provide feedback