Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Brutally make all of dhall pub | Nadrieril | 2020-03-31 | 1 | -3/+3 |
| | |||||
* | Run clippy | Nadrieril | 2020-03-17 | 1 | -2/+2 |
| | |||||
* | Rename Value to Nir | Nadrieril | 2020-02-17 | 1 | -5/+5 |
| | |||||
* | Remove need for Embed | Nadrieril | 2020-02-10 | 1 | -0/+6 |
| | | | | This was an archaic leftover from copying the Haskell datatypes anyway | ||||
* | Remove types from NzEnv | Nadrieril | 2020-02-09 | 1 | -17/+25 |
| | |||||
* | Remove all types from Value | Nadrieril | 2020-02-09 | 1 | -1/+2 |
| | |||||
* | Remove most reliance on types stored in Value | Nadrieril | 2020-02-09 | 1 | -10/+13 |
| | |||||
* | Avoid unnecessary allocations of `Value`s | Nadrieril | 2020-01-30 | 1 | -6/+10 |
| | |||||
* | Clarify normalization to ensure we only nze once | Nadrieril | 2020-01-30 | 1 | -1/+1 |
| | |||||
* | Encapsulate partially applied builtin in a separate struct | Nadrieril | 2020-01-30 | 1 | -8/+0 |
| | |||||
* | No need for the current env to tck Foo/build closures | Nadrieril | 2020-01-30 | 1 | -9/+2 |
| | |||||
* | Cleanup variable handling | Nadrieril | 2020-01-29 | 1 | -1/+1 |
| | |||||
* | Move envs to their own files | Nadrieril | 2020-01-29 | 1 | -0/+87 |