diff options
| author | Nadrieril | 2019-04-20 00:34:50 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-20 00:53:38 +0200 |
| commit | 19b74fb2f0d2f69d304e14d9d3419947348c0de0 (patch) | |
| tree | 6c62857bb873789585c7d0041f3b78734f66cd86 /dhall_core | |
| parent | 2f411181e4abe05bf9ad9015654348fa8e13495e (diff) | |
Simplify apply_builtin
Diffstat (limited to 'dhall_core')
0 files changed, 0 insertions, 0 deletions