diff options
| author | Nadrieril | 2019-04-20 22:19:21 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-20 22:19:21 +0200 |
| commit | 6d56f304ed20620f150303998d041fe46411550d (patch) | |
| tree | d990790bc20486f1d0972b400f7a8743bcaf456c /dhall_core | |
| parent | 0c981c548db098b0842b79faecfba93f32a1b589 (diff) | |
AppliedBuiltin does not need a context
Diffstat (limited to 'dhall_core')
0 files changed, 0 insertions, 0 deletions