diff options
author | Nadrieril | 2020-04-06 22:11:54 +0100 |
---|---|---|
committer | Nadrieril | 2020-04-06 22:11:54 +0100 |
commit | fff4c46e09d4edf25eba737f4d71bfdb1dbf4a82 (patch) | |
tree | 30f48f45ba0201859193510c65edfd3634764090 /dhall/tests/type-inference/failure/recordOfKind.txt | |
parent | cd3b11cc8bd7c4397071d1d3b4b9020b7d5ff2ad (diff) |
Extract operation-related code to a new module
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions