summaryrefslogtreecommitdiff
path: root/dhall
diff options
context:
space:
mode:
authorNadrieril2019-05-04 18:37:15 +0200
committerNadrieril2019-05-04 18:37:15 +0200
commit153cf8dab3b80aba30ac3adfd44e4be251494ea2 (patch)
tree58db6a6d2d65f3a950beba56c108da66c6e10fca /dhall
parent4c159640e5ee77ffa48b85a5bffa56350cf933ef (diff)
Recover arrow type detection
Diffstat (limited to 'dhall')
0 files changed, 0 insertions, 0 deletions