diff options
| author | Nadrieril | 2019-04-20 12:37:15 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-20 12:37:28 +0200 |
| commit | cf07992c7e5df05ba74a29dcca644e23004dc610 (patch) | |
| tree | da9ae860e5db77c58492ee457aec73d82fb9b0ad /dhall/src/traits/mod.rs | |
| parent | 23adedb23907b24366ae87bdd2b4a424f59d2042 (diff) | |
Rewrite apply_builtin to work on WHNFs
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions