diff options
author | Nadrieril | 2019-04-27 15:30:11 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-27 15:30:11 +0200 |
commit | f10dd510adc8ba292bd2fa1810497ff6cf42f81c (patch) | |
tree | aec581abe681b250f31fd9d96a96e38d367143db /dhall/src/typecheck.rs | |
parent | a987d01a8d1248f35ba19babb66aebabfad47a6d (diff) |
Rename Now to Thunk
Diffstat (limited to 'dhall/src/typecheck.rs')
0 files changed, 0 insertions, 0 deletions