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 'dhall_core')
0 files changed, 0 insertions, 0 deletions