diff options
author | Nadrieril | 2020-01-30 14:20:01 +0000 |
---|---|---|
committer | Nadrieril | 2020-01-30 14:20:01 +0000 |
commit | cb86493012b268ec32ad85a42b54fb1a2adab7b0 (patch) | |
tree | f178e67a5196c2d430bb0a7431f1b7b044883c46 /dhall/src/semantics/core/context.rs | |
parent | da55a72717b247444a31b1932f85ce4abec03c14 (diff) |
s/as_whnf/kind/
Diffstat (limited to 'dhall/src/semantics/core/context.rs')
0 files changed, 0 insertions, 0 deletions