| Commit message (Expand) | Author | Files | Lines |
2020-03-11 | Implement record puns | Nadrieril | 1 | -4/+6 |
2020-03-10 | Upstream all local tests | Nadrieril | 1 | -9/+0 |
2020-03-05 | Implement `as Location` imports | Nadrieril | 1 | -0/+1 |
2020-03-05 | Add a bunch of `as Location` unit tests | Nadrieril | 1 | -1/+1 |
2020-03-05 | Add a bunch of tests | Nadrieril | 1 | -23/+0 |
2020-03-05 | Prepare test buffer | Nadrieril | 1 | -28/+23 |
2020-02-18 | Borrow relevant Hir from Tir | Nadrieril | 1 | -0/+2 |
2020-02-16 | Start requiring Universe to build a Type | Nadrieril | 1 | -0/+1 |
2020-02-02 | Add local test files on top of dhall-lang tests | Nadrieril | 1 | -8/+6 |
2020-02-02 | More nice errors plus some refactor | Nadrieril | 1 | -0/+2 |
2020-01-29 | Fix more bugs | Nadrieril | 1 | -0/+1 |
2020-01-28 | Implement assert & merge and fix more bugs | Nadrieril | 1 | -0/+1 |
2020-01-28 | Fix all sorts of variable shenanigans | Nadrieril | 1 | -0/+1 |
2020-01-17 | Oops, this endeavour is doomed | Nadrieril | 1 | -0/+1 |
2019-09-05 | Implement rule aliasing and simplify parser code | Nadrieril | 1 | -0/+2 |
2019-08-31 | Don't URL-decode path segments | Nadrieril | 1 | -0/+1 |
2019-08-31 | Implement parsing of `toMap` keyword | Nadrieril | 1 | -0/+2 |
2019-08-27 | Remove rule aliasing | Nadrieril | 1 | -0/+1 |
2019-08-25 | Rework apply_builtin to enforce preservation of type information | Nadrieril | 1 | -0/+2 |
2019-08-25 | Keep type information through normalization | Nadrieril | 1 | -0/+3 |
2019-08-23 | Keep type information after RecursiveRecordTypeMerge | Nadrieril | 1 | -1/+3 |
2019-08-20 | Propagate type information in Value::app() | Nadrieril | 1 | -0/+1 |
2019-08-10 | Update dhall-lang submodule | Nadrieril | 1 | -1/+2 |
2019-08-08 | Upstream a bunch of tests | Nadrieril | 1 | -99/+6 |
2019-08-06 | RFC3986 URLs | Nadrieril | 1 | -0/+1 |
2019-08-06 | Add some tests | Nadrieril | 1 | -0/+3 |
2019-08-06 | Remove old-style optional literals | Nadrieril | 1 | -0/+3 |
2019-08-03 | Update dhall-lang submodule | Nadrieril | 1 | -0/+1 |
2019-05-12 | Update test buffer | Nadrieril | 1 | -97/+113 |
2019-05-12 | Commit test buffer | Nadrieril | 1 | -0/+113 |