Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Revert "Make SubExpr generic in the variable labels type" | Nadrieril | 2019-05-04 | 1 | -27/+17 |
| | | | | This reverts commit 4c159640e5ee77ffa48b85a5bffa56350cf933ef. | ||||
* | Revert "Recover arrow type detection" | Nadrieril | 2019-05-04 | 1 | -33/+18 |
| | | | | This reverts commit 153cf8dab3b80aba30ac3adfd44e4be251494ea2. | ||||
* | Recover arrow type detection | Nadrieril | 2019-05-04 | 1 | -18/+33 |
| | |||||
* | Make SubExpr generic in the variable labels type | Nadrieril | 2019-05-04 | 1 | -17/+27 |
| | |||||
* | Move `Note`s into the spine of the AST | Nadrieril | 2019-05-04 | 1 | -8/+2 |
| | |||||
* | Rename dhall_core to dhall_syntax | Nadrieril | 2019-05-04 | 1 | -0/+498 |