diff options
author | Nadrieril | 2019-04-19 12:37:47 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-19 12:46:34 +0200 |
commit | 759705047eea74f538883c15b6abd3292bbebb13 (patch) | |
tree | 9379560de1ba89545bd6d758a06f4412154f2e96 /dhall_core | |
parent | b0013503e06da01bec78b2957aeffc5115c5f53d (diff) |
A partially applied builtin is a value
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions