summaryrefslogtreecommitdiff
path: root/dhall-lang
diff options
context:
space:
mode:
authorNadrieril2019-04-19 14:42:36 +0200
committerNadrieril2019-04-19 14:42:36 +0200
commit4bed7b11e227a3151a2ff9e74f9662c126aad5a4 (patch)
tree789479787c3652d9adce1511a37fbee69d9a73a7 /dhall-lang
parent759705047eea74f538883c15b6abd3292bbebb13 (diff)
Make App() only store one argument
Diffstat (limited to 'dhall-lang')
0 files changed, 0 insertions, 0 deletions