diff options
| author | Nadrieril | 2020-04-06 22:24:15 +0100 |
|---|---|---|
| committer | Nadrieril | 2020-04-06 22:26:08 +0100 |
| commit | 56efd2ac39149d8652bd625fbf0679c10823b137 (patch) | |
| tree | 4d9e58ad86ea37dca7a2232ab475791669000684 /dhall_syntax/src | |
| parent | 2cf9169e1a21e1196e0265847abcfa904e2d45a3 (diff) | |
Move BinOp and Builtin definitions in the relevant module
Diffstat (limited to 'dhall_syntax/src')
0 files changed, 0 insertions, 0 deletions