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