diff options
author | Nadrieril | 2019-05-07 19:47:04 +0200 |
---|---|---|
committer | Nadrieril | 2019-05-07 19:47:04 +0200 |
commit | 833cb91cec6ae708e17a0f9589eba9560e81bd07 (patch) | |
tree | 4a0b2b988664eff1e843cb128497f895976911ba /dhall_syntax/src/core | |
parent | b3f00a827bcdd0fe406ccf8913cc5fb7cd6e0f2f (diff) |
Unify typecheck and normalization contexts
Diffstat (limited to 'dhall_syntax/src/core')
0 files changed, 0 insertions, 0 deletions