summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/nze/nir.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Remove top-level Expr aliasesNadrieril2020-03-311-5/+5
* Rename LitKind to NumKindNadrieril2020-03-311-5/+5
* Add SimpleType to mirror SimpleValueNadrieril2020-03-311-1/+47
* Add SimpleValue type to facilitate deserializationNadrieril2020-03-311-0/+34
* Run clippyNadrieril2020-03-171-5/+5
* Remove useless `normalize` option from ToExprOptionsNadrieril2020-02-181-3/+0
* Remove spans from NirNadrieril2020-02-171-15/+7
* Rename Value to NirNadrieril2020-02-171-0/+521