depot - monorepo for the virus lounge

Age	Commit message (Expand)	Author	Files	Lines
2021-03-14	Universally quantified type variables	Griffin Smith	3	-13/+17
2021-03-14	Add string support to the frontend	Griffin Smith	2	-0/+24
2021-03-13	Add the start of a hindley-milner typechecker	Griffin Smith	2	-33/+42
2021-03-13	Allow exprs+bindings to optionally be ascripted	Griffin Smith	1	-4/+7
2021-03-08	Implement functions, both top-level and anonymous	Griffin Smith	2	-37/+120
2021-03-07	Initial commit	Griffin Smith	3	-0/+275