diff options
author | Nadrieril | 2019-04-27 16:05:06 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-27 16:05:06 +0200 |
commit | 1ad9cfe4ec9258d071d7f1522e8fdf2866fbf99c (patch) | |
tree | 196eb95ab982a01e1a3514f1f2fa9675c2105d43 /dhall/src/traits | |
parent | 1ccad14d712c550dee4d94ae20dff713132eb2c4 (diff) |
Store thunks uniformly in WHNF
Diffstat (limited to 'dhall/src/traits')
0 files changed, 0 insertions, 0 deletions