diff options
| author | Nadrieril | 2019-05-03 14:46:28 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-05-03 14:46:28 +0200 |
| commit | 472a06dda81168e954e6a02c91bfcf57c6ae7b25 (patch) | |
| tree | 493e9945c0952f326df4030c0e2a3dc1436f9e20 /dhall/src/traits | |
| parent | 49653bf413891b629130a609e0b33ac4155b7637 (diff) | |
Apply builtin arguments lazily
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions