summaryrefslogtreecommitdiff
path: root/dhall/src/expr.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Add SimpleType and SimpeStaticType. Derive the latterNadrieril2019-04-101-0/+21
|
* Restrict public APINadrieril2019-04-071-18/+30
| | | | Closes #20
* Universe hierarchy is overkillNadrieril2019-04-071-4/+4
|
* Put a Cow in TypeNadrieril2019-04-071-3/+3
|
* Store the whole type hierarchy in a TypeNadrieril2019-04-061-9/+8
|
* Start taking Typed seriouslyNadrieril2019-04-061-1/+1
|
* Thread Typed through type_withNadrieril2019-04-061-25/+9
|
* Move binary decoding to new APINadrieril2019-04-061-8/+14
|
* Massage import loading into new APINadrieril2019-04-061-10/+20
| | | | Closes #9
* Define some newtypes for ExprNadrieril2019-04-061-0/+35
Closes #50