Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Move error module to root of crate | Nadrieril | 2019-12-20 | 1 | -0/+1 |
| | |||||
* | Move contents of dhall_syntax to dhall | Nadrieril | 2019-12-15 | 1 | -3/+1 |
| | |||||
* | Refer to semantics module properly | Nadrieril | 2019-12-15 | 1 | -2/+0 |
| | |||||
* | Move contents of dhall under a semantics submodule | Nadrieril | 2019-12-15 | 1 | -3/+2 |
| | |||||
* | Reexport dhall_syntax as a module in dhall | Nadrieril | 2019-12-15 | 1 | -0/+4 |
| | |||||
* | Update rust toolchain | Nadrieril | 2019-11-11 | 1 | -1/+0 |
| | |||||
* | Generate import tests automatically | Nadrieril | 2019-11-11 | 1 | -1/+0 |
| | |||||
* | Tweak tests to avoid double compilation | Nadrieril | 2019-08-26 | 1 | -1/+0 |
| | |||||
* | Disable some unused unstable features | Nadrieril | 2019-08-15 | 1 | -6/+0 |
| | |||||
* | Move api into its own crate | Nadrieril | 2019-08-13 | 1 | -110/+2 |
| | |||||
* | clippy | Nadrieril | 2019-05-12 | 1 | -1/+3 |
| | |||||
* | Rewrite Deserialize trait around new Value and Type | Nadrieril | 2019-05-09 | 1 | -1/+0 |
| | |||||
* | Rewrite the StaticType trait and everything around it | Nadrieril | 2019-05-09 | 1 | -5/+5 |
| | |||||
* | Make shift fallible and improve shift ergonomics | Nadrieril | 2019-05-09 | 1 | -0/+1 |
| | |||||
* | Move main datatypes into their own modules | Nadrieril | 2019-05-06 | 1 | -3/+5 |
| | |||||
* | Move api-related modules into an api module | Nadrieril | 2019-05-06 | 1 | -38/+3 |
| | |||||
* | Consolidate errors in the error module | Nadrieril | 2019-05-06 | 1 | -1/+0 |
| | |||||
* | Reorganize dhall into a phase structure | Nadrieril | 2019-05-06 | 1 | -9/+2 |
| | |||||
* | Rename dhall_generator to dhall_proc_macros | Nadrieril | 2019-05-04 | 1 | -1/+1 |
| | |||||
* | Pass references when possible | Nadrieril | 2019-04-30 | 1 | -0/+1 |
| | |||||
* | Prepare for interop between two contexts | Nadrieril | 2019-04-21 | 1 | -0/+1 |
| | |||||
* | Start separating normalized values from syntactic expressions | Nadrieril | 2019-04-19 | 1 | -0/+1 |
| | |||||
* | rustfmt | Nadrieril | 2019-04-15 | 1 | -4/+4 |
| | |||||
* | Namespace deserialization functions in a `de` submodule | Nadrieril | 2019-04-14 | 1 | -40/+44 |
| | | | | Closes #73 | ||||
* | clippy | Nadrieril | 2019-04-14 | 1 | -1/+2 |
| | |||||
* | docs: document import resolution root | Nadrieril | 2019-04-13 | 1 | -4/+6 |
| | |||||
* | Document all of the API | Nadrieril | 2019-04-13 | 1 | -1/+16 |
| | | | | Closes #64 | ||||
* | Restrict public API to its most minimal expression | Nadrieril | 2019-04-12 | 1 | -4/+4 |
| | |||||
* | Abstract get_type() into a trait | Nadrieril | 2019-04-11 | 1 | -3/+3 |
| | |||||
* | Add basic deserialization support | Nadrieril | 2019-04-11 | 1 | -4/+3 |
| | | | | Closes #13 | ||||
* | Add error submodule | Nadrieril | 2019-04-10 | 1 | -2/+3 |
| | |||||
* | Write main lib doc | Nadrieril | 2019-04-10 | 1 | -0/+106 |
| | |||||
* | Prepare for serde support | Nadrieril | 2019-04-10 | 1 | -0/+1 |
| | |||||
* | Add a new Deserialize trait for reading dhall values | Nadrieril | 2019-04-10 | 1 | -0/+14 |
| | |||||
* | Add SimpleType and SimpeStaticType. Derive the latter | Nadrieril | 2019-04-10 | 1 | -1/+2 |
| | |||||
* | clippy | Nadrieril | 2019-04-08 | 1 | -0/+1 |
| | |||||
* | Limit public API | Nadrieril | 2019-04-08 | 1 | -5/+2 |
| | | | | Closes #53 | ||||
* | Move spec tests into the relevant files | Nadrieril | 2019-04-08 | 1 | -0/+8 |
| | |||||
* | Restrict public API | Nadrieril | 2019-04-07 | 1 | -7/+5 |
| | | | | Closes #20 | ||||
* | Move binary decoding to new API | Nadrieril | 2019-04-06 | 1 | -1/+1 |
| | |||||
* | Define some newtypes for Expr | Nadrieril | 2019-04-06 | 1 | -8/+2 |
| | | | | Closes #50 | ||||
* | Rename some modules | Nadrieril | 2019-04-06 | 1 | -3/+3 |
| | |||||
* | s/Type/StaticType/ | Nadrieril | 2019-04-06 | 1 | -2/+1 |
| | |||||
* | Split dhall_expr!() into 2 | Nadrieril | 2019-04-06 | 1 | -0/+2 |
| | |||||
* | Remove some redundant namespacing | Nadrieril | 2019-03-31 | 1 | -1/+2 |
| | |||||
* | Derive DhallType for structs | Nadrieril | 2019-03-26 | 1 | -0/+2 |
| | |||||
* | Lay groundwork for DhallType deriving | Nadrieril | 2019-03-24 | 1 | -1/+0 |
| | |||||
* | oops | Nadrieril | 2019-03-22 | 1 | -7/+7 |
| | |||||
* | Improve import handling in parser | Nadrieril | 2019-03-21 | 1 | -1/+10 |
| | |||||
* | Get rid of box patterns | Nadrieril | 2019-03-15 | 1 | -1/+0 |
| | | | | Closes #27 |