diff options
| author | Nadrieril | 2020-01-21 17:43:44 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-01-21 17:43:44 +0000 |
| commit | 015b24b04128cbf5a60fbc8ac3f526306ca27378 (patch) | |
| tree | 0af03dcc6f7b60812992f4b5001d325b1e786a01 /dhall-lang | |
| parent | 476ef4594c9e8c7121bd8fc303e74ef8207a88f4 (diff) | |
Simplify type error type
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions