diff options
| author | Nadrieril | 2019-04-18 15:18:57 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-18 15:18:57 +0200 |
| commit | a0458fa3824ac301c8d0c1d7091e10d1468cbf91 (patch) | |
| tree | 00fa2b45602db3086ed06f31858acd4a00e653ba /dhall-lang | |
| parent | 9474d4939db6f844285182fc15aad74f6aa18e21 (diff) | |
Use argument-position impl trait for mapping functions
Diffstat (limited to 'dhall-lang')
0 files changed, 0 insertions, 0 deletions