depot - monorepo for the virus lounge

Age	Commit message (Collapse)	Author	Files	Lines
2021-03-14	Universally quantified type variables	Griffin Smith	17	-112/+635
	Implement universally quantified type variables, both explicitly given by the user and inferred by the type inference algorithm.
2021-03-14	Make string and bool parsing complete	Griffin Smith	2	-5/+10

2021-03-14	Add string support to the frontend	Griffin Smith	10	-11/+95

2021-03-13	Add the start of a hindley-milner typechecker	Griffin Smith	20	-78/+980
	The beginning of a parse-don't-validate-based hindley-milner typechecker, which returns on success an IR where every AST node trivially knows its own type, and using those types to determine LLVM types in codegen.
2021-03-13	Allow exprs+bindings to optionally be ascripted	Griffin Smith	6	-38/+264

2021-03-13	Factor out expr parser into its own module	Griffin Smith	4	-495/+510

2021-03-08	Implement functions, both top-level and anonymous	Griffin Smith	10	-125/+501
	Implement both top-level and anonymous functions, but not closures in either case.
2021-03-07	Initial commit	Griffin Smith	24	-0/+2316