diff options
| author | Nadrieril | 2020-04-06 21:33:45 +0100 |
|---|---|---|
| committer | Nadrieril | 2020-04-06 21:33:45 +0100 |
| commit | cd3b11cc8bd7c4397071d1d3b4b9020b7d5ff2ad (patch) | |
| tree | a8702e2789d1694390aa1ea460fbe62312ccba5f /dhall/src/syntax | |
| parent | 4ed17cb88df732d3ce3d09e2bfd0b7c855309094 (diff) | |
Only need to store OpKind in Nir
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions