Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
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 |