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