diff options
author | Nadrieril | 2019-08-13 17:20:35 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-13 17:20:35 +0200 |
commit | 1ed3123aeb3c9272b6810605a7ee781c42095f09 (patch) | |
tree | 350f64e20189d61bece4017cedc1415f3639204c /dhall/src/tests.rs | |
parent | fc6c42f9a80902f7183c297cd8f9dcdbe5376ec5 (diff) |
Swap Typed and TypeThunk
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions