summaryrefslogtreecommitdiff
path: root/dhall/tests
diff options
context:
space:
mode:
authorNadrieril2019-05-09 17:25:37 +0200
committerNadrieril2019-05-09 17:25:37 +0200
commitb9937bcd576c1dbde1e7adc3e9cdd4f743d9ff00 (patch)
treec0daf671549770ba5596c6d95fbaf1d995df25ac /dhall/tests
parentbf74436781a1304a937fb31a50c5495223468087 (diff)
Remove TypeIntermediate in favor of special-purpose functions
Diffstat (limited to 'dhall/tests')
0 files changed, 0 insertions, 0 deletions