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/semantics/resolve | |
parent | 4ed17cb88df732d3ce3d09e2bfd0b7c855309094 (diff) |
Only need to store OpKind in Nir
Diffstat (limited to 'dhall/src/semantics/resolve')
0 files changed, 0 insertions, 0 deletions