Name		Name	Last commit message	Last commit date
Latest commit History 13 Commits
BTree.hs		BTree.hs
Cp.hs		Cp.hs
Exp.hs		Exp.hs
FTree.hs		FTree.hs
LTree.hs		LTree.hs
List.hs		List.hs
Nat.hs		Nat.hs
README.md		README.md
St.hs		St.hs
cp1819t.aux		cp1819t.aux
cp1819t.bib		cp1819t.bib
cp1819t.idx		cp1819t.idx
cp1819t.lhs		cp1819t.lhs
cp1819t.log		cp1819t.log
cp1819t.pdf		cp1819t.pdf
cp1819t.sty		cp1819t.sty
cp1819t.tex		cp1819t.tex