GitHub - laredo02/lcalc: implementing type inference

Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
Categories.hs		Categories.hs
Categories2.hs		Categories2.hs
ChurchTyped.hs		ChurchTyped.hs
CurryTyped.hs		CurryTyped.hs
Test.hs		Test.hs
TypeAnnotations.hs		TypeAnnotations.hs
Untyped.hs		Untyped.hs