diff options
author | Nadrieril | 2020-01-31 19:46:16 +0000 |
---|---|---|
committer | Nadrieril | 2020-01-31 19:46:16 +0000 |
commit | aa93f18c8ef9ad13c6bb4ddef90b419b3ed546f4 (patch) | |
tree | bb47862d41356908385bd29629c66213d9dd4a89 /dhall/tests/type-errors/recordOfKind.txt | |
parent | 4312ad935d881f269fa7e9cc3d880fa763db957d (diff) |
Factor out custom Lazy struct
Diffstat (limited to 'dhall/tests/type-errors/recordOfKind.txt')
0 files changed, 0 insertions, 0 deletions