| Commit message (Collapse) | Author | Files | Lines |
|
|
|
|
|
|
|
I thought it would work ><. It's a bit too early
|
|
|
|
|
|
|
|
|
|
|
|
The underlying purpose of them turned out to be unsound
|
|
|
|
|
|
|
|
|
|
|
|
It's almost never cloned anymore
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Now Typed is only used in dhall::phase, similarly to
Parsed/Resolved/Normalized
|
|
|
|
|
|
|
|
|
|
|
|
Helps detect unused code
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|