diff options
author | Nadrieril | 2019-04-16 19:43:09 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-16 19:43:09 +0200 |
commit | 12e9b4a5963482d50a42588d71f210a80db36c4b (patch) | |
tree | 82be11172e43030f641ea409902e1e34062738ce /dhall/src/tests.rs | |
parent | 1cb13e7d75035fc1e7fcea76f57847f8dbbbac87 (diff) |
Typecheck higher-kinded records
Diffstat (limited to 'dhall/src/tests.rs')
0 files changed, 0 insertions, 0 deletions