diff options
author | Nadrieril | 2020-04-05 17:12:08 +0100 |
---|---|---|
committer | Nadrieril | 2020-04-05 17:12:08 +0100 |
commit | c4d9e73126131d31e707822b0fd8b0710363c863 (patch) | |
tree | f3fbc16ba580c865398d90a5d3e2cf9b17e0bbfc /dhall/tests/type-inference/failure/recordOfKind.txt | |
parent | 75c0f328c7b6d404353fd078ae12417766ef8a32 (diff) |
Final doc tweaks
Diffstat (limited to 'dhall/tests/type-inference/failure/recordOfKind.txt')
0 files changed, 0 insertions, 0 deletions