summaryrefslogtreecommitdiff
path: root/dhall/src/core/value.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Remove dhall::expr!() macroNadrieril2019-08-101-5/+45
* Add support for dependent typesNadrieril2019-08-081-1/+18
* Remove union literals from the languageNadrieril2019-08-071-12/+3
* Prepare for https://github.com/dhall-lang/dhall-lang/pull/630Nadrieril2019-08-061-3/+5
* clippyNadrieril2019-05-121-1/+1
* Make visibilities more consistentNadrieril2019-05-091-13/+10
* ExprF need not be generic in LabelNadrieril2019-05-091-3/+1
* Make shift fallible and improve shift ergonomicsNadrieril2019-05-091-53/+68
* Detect duplicate record fields in typecheckNadrieril2019-05-091-6/+6
* Implement normalization of missing builtinsNadrieril2019-05-081-2/+7
* Promote shift and subst_shift to traitsNadrieril2019-05-071-3/+7
* Move AlphaVar and AlphaLabel into a new moduleNadrieril2019-05-071-103/+2
* Small mistakeNadrieril2019-05-071-1/+1
* Document Value and ThunkNadrieril2019-05-071-5/+16
* Move main datatypes into their own modulesNadrieril2019-05-061-0/+616
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 18:52:54 +0000