| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Reorganize dhall_syntax | Nadrieril | 2019-05-07 | 1 | -464/+0 |
| * | Clean up some of the SubExpr type-changing methods | Nadrieril | 2019-05-07 | 1 | -29/+11 |
| * | We actually don't need SubExpr::shift anymore | Nadrieril | 2019-05-04 | 1 | -81/+0 |
| * | Revert "Make SubExpr generic in the variable labels type" | Nadrieril | 2019-05-04 | 1 | -111/+96 |
| * | Revert "Recover arrow type detection" | Nadrieril | 2019-05-04 | 1 | -14/+1 |
| * | Recover arrow type detection | Nadrieril | 2019-05-04 | 1 | -1/+14 |
| * | Make SubExpr generic in the variable labels type | Nadrieril | 2019-05-04 | 1 | -96/+111 |
| * | Thread Spans through the AST | Nadrieril | 2019-05-04 | 1 | -40/+53 |
| * | Move `Note`s into the spine of the AST | Nadrieril | 2019-05-04 | 1 | -41/+28 |
| * | Rename dhall_core to dhall_syntax | Nadrieril | 2019-05-04 | 1 | -0/+563 |
