diff options
| author | Nadrieril | 2019-03-24 14:05:16 +0100 |
|---|---|---|
| committer | Nadrieril | 2019-03-24 14:05:16 +0100 |
| commit | 6c1a739687f706cf6630c55f8d53c92aacaf6e3d (patch) | |
| tree | 9fd95a35fe35cd532cd869f4c6f0db6585482225 /dhall/src | |
| parent | dc8497a1b659bff4e261a0d7f05f56d21c6d2448 (diff) | |
Disallow builtins as bound variables
Diffstat (limited to 'dhall/src')
0 files changed, 0 insertions, 0 deletions