diff options
| author | Nadrieril | 2019-05-07 16:01:24 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-05-07 16:01:24 +0200 |
| commit | 726c281cdd3824fcfdde34fe8d01f95416f7808c (patch) | |
| tree | a3a7b89348a1f63208b3912d45e0ecd6d3f344a3 /dhall/src/api/traits | |
| parent | 1b8a67353a0167bdafd0b8cc03f5d83464f7af3d (diff) | |
Clean up some of the SubExpr type-changing methods
Diffstat (limited to 'dhall/src/api/traits')
0 files changed, 0 insertions, 0 deletions