diff options
| author | Nadrieril | 2019-08-13 22:11:45 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-08-13 22:11:45 +0200 |
| commit | 8d45d633dfa60e8d64c9e6e742de4e33496bf0fa (patch) | |
| tree | 526c351bbdd6121cdde3cd56f721156d3b34e6de /dhall/src/error/text/IfBranchMustBeTerm.txt | |
| parent | 07956ccb1daf4a6819f64776f70b6f5f26869184 (diff) | |
Store Imports in their own node instead of in Embed
Diffstat (limited to 'dhall/src/error/text/IfBranchMustBeTerm.txt')
0 files changed, 0 insertions, 0 deletions