| Commit message (Collapse) | Author | Age | Files | Lines |
| |
|
| |
|
|
|
|
| |
For clarity, and consistency with Value
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
| |
Now Typed is only used in dhall::phase, similarly to
Parsed/Resolved/Normalized
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
Helps detect unused code
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
They weren't worth it
|
|
|
|
| |
It's a lot of hassle for not a lot of benefit
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|\
| |
| | |
Do some catch up on the spec
|
| | |
|
|\| |
|
| |\ |
|
| | | |
|