diff options
| author | Nadrieril | 2019-04-23 14:13:50 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-23 14:14:09 +0200 |
| commit | 2f1fa26abd9c9f2b75d24b18877d3b278f7d2a01 (patch) | |
| tree | 602fdc4982433680e82a0bfeb872140f09e828d0 /dhall_core | |
| parent | 162d2a2a6d241d525346e295b0cf2ad43387bed5 (diff) | |
Avoid duplicating work when matching on Pi types
Diffstat (limited to 'dhall_core')
0 files changed, 0 insertions, 0 deletions