Commit message (Expand) | Author | Files | Lines | |
---|---|---|---|---|
2020-02-13 | Simplify conversions to/from TyExpr | Nadrieril | 4 | -0/+20 |
2020-02-09 | Remove most TyExpr from normalization | Nadrieril | 9 | -18/+18 |
2020-02-09 | Move ui outputs to a sensible place | Nadrieril | 101 | -0/+577 |
![]() |
index : dhall_rust | |
working copy forked from https://github.com/Nadrieril/dhall-rust |
summaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Files | Lines | |
---|---|---|---|---|
2020-02-13 | Simplify conversions to/from TyExpr | Nadrieril | 4 | -0/+20 |
2020-02-09 | Remove most TyExpr from normalization | Nadrieril | 9 | -18/+18 |
2020-02-09 | Move ui outputs to a sensible place | Nadrieril | 101 | -0/+577 |