Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2019-04-10 | s/load_from/parse/ | Nadrieril | 1 | -1/+1 | |
2019-04-07 | Restrict public API | Nadrieril | 1 | -11/+9 | |
Closes #20 | |||||
2019-03-31 | Remove evil Deref impl | Nadrieril | 1 | -1/+1 | |
2019-03-31 | Make SubExpr a newtype | Nadrieril | 1 | -2/+1 | |
2019-03-21 | Reorganize dhall_core a bit | Nadrieril | 1 | -1/+1 | |
2019-03-18 | Considerably simplify subst, shift and typechecking | Nadrieril | 1 | -1/+1 | |
2019-03-17 | Use Rc consistently everywhere | Nadrieril | 1 | -3/+4 | |
2019-03-09 | Obey clippy lints | Nadrieril | 1 | -2/+2 | |
Closes #14 | |||||
2019-03-09 | Remove the pervasive Label type parameter | Nadrieril | 1 | -1/+1 | |
Closes #1 | |||||
2019-03-09 | Use new Label type everywhere | Nadrieril | 1 | -3/+2 | |
2019-03-09 | Use new Label type instead of &str in parser | Nadrieril | 1 | -2/+2 | |
2019-03-09 | First import works ! | Nadrieril | 1 | -1/+2 | |
2019-03-08 | Rename Expr back to its true name | Nadrieril | 1 | -1/+1 | |
2019-03-08 | Finally get rid of all the &'i str | Nadrieril | 1 | -1/+1 | |
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 | |