The Gradualizer: A Supporting Tool for Gradual Typing.

Name		Name	Last commit message	Last commit date
Latest commit History 38 Commits
Gradualized		Gradualized
Repo of Static Type Systems		Repo of Static Type Systems
CastInsertion.hs		CastInsertion.hs
CastManagement.hs		CastManagement.hs
FinalType.hs		FinalType.hs
FlowDiscovery.hs		FlowDiscovery.hs
FromLambdaProlog.hs		FromLambdaProlog.hs
GenerateAuxiliaryPredicates.hs		GenerateAuxiliaryPredicates.hs
GenerateCalculi.hs		GenerateCalculi.hs
InsertJoin.hs		InsertJoin.hs
LICENSE		LICENSE
LazyD.hs		LazyD.hs
LazyUD.hs		LazyUD.hs
Library.hs		Library.hs
PatternMatching.hs		PatternMatching.hs
README.md		README.md
Static.hs		Static.hs
Test.hs		Test.hs
ToDisplayHTML.hs		ToDisplayHTML.hs
ToLambdaProlog.hs		ToLambdaProlog.hs
ToLatex.hs		ToLatex.hs
TypeSystem.hs		TypeSystem.hs
TypeSystemForCC.hs		TypeSystemForCC.hs

Provide feedback