| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Factor some tck code to avoid needing get_type_tyexpr | Nadrieril | 2020-02-15 | 1 | -2/+2 |
| * | Rework annotation and Sort handling | Nadrieril | 2020-02-13 | 1 | -1/+1 |
| * | Simplify conversions to/from TyExpr | Nadrieril | 2020-02-13 | 1 | -1/+7 |
| * | Remove the Embed variant from ExprKind | Nadrieril | 2020-02-11 | 1 | -4/+4 |
| * | Remove need for Embed | Nadrieril | 2020-02-10 | 1 | -0/+1 |
| * | Remove types from NzEnv | Nadrieril | 2020-02-09 | 1 | -1/+1 |
| * | Remove all types from Value | Nadrieril | 2020-02-09 | 1 | -2/+2 |
| * | Resolve variables alongside import resolution | Nadrieril | 2020-02-09 | 1 | -6/+30 |
| * | Remove most TyExpr from normalization | Nadrieril | 2020-02-09 | 1 | -2/+1 |
| * | Add Hir as untyped alternative to TyExpr | Nadrieril | 2020-02-09 | 1 | -0/+112 |
 |
index : dhall_rust | |
| working copy forked from https://github.com/Nadrieril/dhall-rust |
| summaryrefslogtreecommitdiff |