Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2021-03-14 | Implement top-level ascription of declarations | Griffin Smith | 5 | -15/+73 |
2021-03-14 | Universally quantified type variables | Griffin Smith | 17 | -112/+635 |
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 |
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 |
2021-03-07 | Initial commit | Griffin Smith | 24 | -0/+2316 |