diff options
| author | Nadrieril | 2019-03-03 00:08:57 +0100 |
|---|---|---|
| committer | Nadrieril | 2019-03-03 00:26:23 +0100 |
| commit | b7ce3e60770be41d8ccf773541c586c75d2a4e38 (patch) | |
| tree | 19fe6bcc070358f2d46a75f5df72adeaba4b08f8 /dhall-lang | |
| parent | 54d3f23e68bf6e769d8a96e40a2b0c4426e38507 (diff) | |
Merge builtins in a single enum
Diffstat (limited to 'dhall-lang')
0 files changed, 0 insertions, 0 deletions