Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2019-04-06 | Add type-inference tests | Nadrieril | 1 | -0/+16 | |
Closes #49 | |||||
2019-03-31 | Move recursion out of Expr | Nadrieril | 1 | -1/+1 | |
2019-03-21 | Improve import handling in parser | Nadrieril | 1 | -4/+9 | |
2019-03-21 | Reorganize dhall_core a bit | Nadrieril | 1 | -1/+1 | |
2019-03-20 | Make parser implementation non-recursive | Nadrieril | 1 | -16/+1 | |
2019-03-20 | Cleanup parser code | Nadrieril | 1 | -1/+1 | |
2019-03-20 | Handle simple parsing cases with new macros | Nadrieril | 1 | -1/+1 | |
2019-03-19 | rustfmt | Nadrieril | 1 | -1/+1 | |
2019-03-19 | Test printer in parser tests | Nadrieril | 1 | -0/+5 | |
Closes #30 | |||||
2019-03-19 | Add travis integration | Nadrieril | 1 | -11/+15 | |
2019-03-18 | Considerably simplify subst, shift and typechecking | Nadrieril | 1 | -4/+1 | |
2019-03-17 | Use Rc consistently everywhere | Nadrieril | 1 | -9/+9 | |
2019-03-15 | Split different tests features into their own files | Nadrieril | 1 | -0/+121 | |