diff options
| author | Nadrieril | 2019-03-05 00:31:19 +0100 |
|---|---|---|
| committer | Nadrieril | 2019-03-05 00:31:19 +0100 |
| commit | 421a4a69a838aa8de7a02c651c3f830eaff1df6a (patch) | |
| tree | 0d4f882fc28aedf396303158274d2de474764f9d /dhall/src/errors/IfBranchMustBeTerm.txt | |
| parent | c1c21e3ae53ffdbc639fa950093baa60e710e022 (diff) | |
Allow branching in match_children! macro
Diffstat (limited to 'dhall/src/errors/IfBranchMustBeTerm.txt')
0 files changed, 0 insertions, 0 deletions