diff options
| author | Nadrieril | 2019-04-06 13:25:10 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-06 13:25:10 +0200 |
| commit | 5176b900bf22cf264ce7e75dd416e9e822719168 (patch) | |
| tree | 7901550d7cd111e5e2517e8f02c17fac650441dc /dhall/src/errors/IfBranchMustBeTerm.txt | |
| parent | 0cf63216e96331d56e58ba92a35f95ced2fa23ab (diff) | |
Upgrade map to traverse
Diffstat (limited to 'dhall/src/errors/IfBranchMustBeTerm.txt')
0 files changed, 0 insertions, 0 deletions