summaryrefslogtreecommitdiff
path: root/dhall/src/errors/IfBranchMustBeTerm.txt
diff options
context:
space:
mode:
authorNadrieril2019-04-22 23:31:42 +0200
committerNadrieril2019-04-22 23:31:42 +0200
commit60df4ed07a752d256888e6b4449a48bfa43cf79f (patch)
tree16fcd64f6d255f4391477bb9af57b745e8efb82e /dhall/src/errors/IfBranchMustBeTerm.txt
parent53f886c0f5044e4bfe7de756b8c47d992f91b03e (diff)
Temporarily simplify functions depending on TypeInternal
Diffstat (limited to 'dhall/src/errors/IfBranchMustBeTerm.txt')
0 files changed, 0 insertions, 0 deletions