compcomp - Composable compiler

	Commit message (Collapse)	Author	Age
*	Fix unification and make union types workHEAD master	Tom Smeding	2020-07-27
\|
*	Correct type variable rigidity (I think)	Tom Smeding	2020-07-27
\|
*	WIP refactor and union types, type variables	Tom Smeding	2020-07-26
\|
*	Builtins is a Map	Tom Smeding	2020-07-26
\|
*	Support Let	Tom Smeding	2020-07-25
\|
*	Namespacing of AST's, not suffix-disambiguation	Tom Smeding	2020-07-25
\|
*	Define builtins in backend	Tom Smeding	2020-07-24
\|
*	Move Context to cc-ast in preparation for backend parametrisation	Tom Smeding	2020-07-24
\|
*	Lift TypeScheme to AST.Typed	Tom Smeding	2020-07-24
\|
*	Move CC.{Source,Typed} to CC.AST.*	Tom Smeding	2020-07-24
\|
*	Support tuples	Tom Smeding	2020-07-24
\|
*	Working basic type checker using Algorithm W	Tom Smeding	2020-07-24
\|
*	Initial state I found the code in	Tom Smeding	2020-06-10