summaryrefslogtreecommitdiff
path: root/dhall_generator/src
diff options
context:
space:
mode:
authorNadrieril2019-04-19 12:37:47 +0200
committerNadrieril2019-04-19 12:46:34 +0200
commit759705047eea74f538883c15b6abd3292bbebb13 (patch)
tree9379560de1ba89545bd6d758a06f4412154f2e96 /dhall_generator/src
parentb0013503e06da01bec78b2957aeffc5115c5f53d (diff)
A partially applied builtin is a value
Diffstat (limited to 'dhall_generator/src')
0 files changed, 0 insertions, 0 deletions