diff options
| author | Nadrieril | 2019-09-02 22:50:16 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-09-02 22:50:16 +0200 |
| commit | 5dde11c8ffb13fbaf5dbc9c2b544270c22a7d2f5 (patch) | |
| tree | 3ad2093630f9877b8593a9b8210e353edf327b6c /dhall/src/error/text/IfBranchMustBeTerm.txt | |
| parent | 0c746c4e5dc3c490071e9dccdf089e33ce3ea7bf (diff) | |
Parse polymorphically in the Embed parameter
Diffstat (limited to 'dhall/src/error/text/IfBranchMustBeTerm.txt')
0 files changed, 0 insertions, 0 deletions