Commit message (Expand) | Author | Files | Lines | |
---|---|---|---|---|
2020-01-30 | Move main API to lib.rs | Nadrieril | 1 | -1/+1 |
2020-01-29 | Cleanup variable handling | Nadrieril | 2 | -2/+2 |
2019-12-27 | Update dhall-lang submodule | Nadrieril | 1 | -8/+7 |
2019-12-24 | Extend merge to work on Optionals | Nadrieril | 1 | -0/+9 |
2019-12-23 | Update dhall-lang submodule | Nadrieril | 1 | -10/+18 |
2019-12-23 | Update dhall-lang submodule | Nadrieril | 1 | -13/+10 |
2019-12-23 | Add two new Integer builtins | Nadrieril | 2 | -0/+4 |
2019-12-22 | rustfmt | Nadrieril | 1 | -4/+7 |
2019-12-22 | Implement parsing for record completion | Nadrieril | 2 | -8/+31 |
2019-12-22 | Update dhall-lang submodule | Nadrieril | 1 | -0/+2 |
2019-12-21 | Generate parser manually to make the crate publishable | Nadrieril | 1 | -3/+9 |
2019-12-20 | Fix some comments | Nadrieril | 1 | -2/+2 |
2019-12-20 | s/RawExpr/UnspannedExpr/ | Nadrieril | 2 | -4/+8 |
2019-12-20 | Reorganize printer | Nadrieril | 1 | -135/+132 |
2019-12-20 | s/ExprF/ExprKind/ | Nadrieril | 2 | -11/+11 |
2019-12-19 | Rename syntax::core to syntax::ast | Nadrieril | 2 | -11/+10 |
2019-12-17 | Split syntax module between text and binary | Nadrieril | 3 | -0/+1422 |