Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2019-03-08 | Slowly propagate the new type parameter throughout the codebase | Nadrieril | 1 | -1/+1 | |
2019-03-06 | Finally get rid of old parser | Nadrieril | 1 | -28/+2 | |
2019-03-06 | Start parsing imports | Nadrieril | 1 | -3/+1 | |
2019-03-06 | Merge dhall_normalize back into dhall; that was unnecessary | Nadrieril | 1 | -1/+0 | |
2019-03-06 | Split-off normalization into its own crate | Nadrieril | 1 | -0/+1 | |
2019-03-06 | Split-off core into its own crate | Nadrieril | 1 | -0/+1 | |
2019-03-06 | rustfmt | Nadrieril | 1 | -8/+27 | |
2019-03-02 | Add parser/failure tests from spec | Nadrieril | 1 | -1/+1 | |
2019-03-01 | Split abnf_to_pest and dhall into their own crates | Nadrieril | 1 | -0/+0 | |
2019-02-27 | Add one test from the spec | Nadrieril | 1 | -17/+2 | |
2019-02-27 | Switch to Rust 2018 edition | Nadrieril | 1 | -7/+5 | |
2019-02-27 | Revert "Try to update to latest nom" | Nadrieril | 1 | -1/+1 | |
This reverts commit d5bc8da87f3fed99a010d867a3e34d2768caf768. | |||||
2019-02-27 | Try to update to latest nom | Nadrieril | 1 | -1/+1 | |
2019-02-27 | Update dependencies | Nadrieril | 1 | -1/+2 | |
2017-09-08 | fixed some clippy warnings | Andre Bogus | 1 | -3/+3 | |
2017-03-10 | Start implementing error explanations | NanoTech | 1 | -23/+28 | |
2017-03-10 | Implement more list functions | NanoTech | 1 | -0/+2 | |
Now requires nightly for #![feature(box_patterns)] | |||||
2017-03-10 | normalize: Take the input Expr by reference | NanoTech | 1 | -1/+1 | |
2017-03-10 | impl Display for Expr | NanoTech | 1 | -1/+10 | |
2017-03-10 | Begin implementing type checking | NanoTech | 1 | -7/+13 | |
2017-03-10 | Colored error messages | NanoTech | 1 | -9/+38 | |
2017-03-10 | rustc-style error messages | NanoTech | 1 | -3/+29 | |
2017-03-10 | Print some error context | NanoTech | 1 | -2/+8 | |
2017-03-10 | Read and parse stdin | NanoTech | 1 | -3/+6 | |