diff options
author | Nadrieril | 2019-04-29 23:28:16 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-29 23:29:09 +0200 |
commit | 6bb8e618f66df4a955d800d49b3b6863aabd5b41 (patch) | |
tree | 375503a91a74c843a48971026c99a137f9f3a5ec /dhall-lang | |
parent | 69b65ee70a84b591c9a56861317253577e7c7628 (diff) |
Remove NF/WHNF distinction at runtime
Diffstat (limited to 'dhall-lang')
0 files changed, 0 insertions, 0 deletions