summaryrefslogtreecommitdiff
path: root/dhall_syntax
diff options
context:
space:
mode:
authorNadrieril2020-04-06 21:33:45 +0100
committerNadrieril2020-04-06 21:33:45 +0100
commitcd3b11cc8bd7c4397071d1d3b4b9020b7d5ff2ad (patch)
treea8702e2789d1694390aa1ea460fbe62312ccba5f /dhall_syntax
parent4ed17cb88df732d3ce3d09e2bfd0b7c855309094 (diff)
Only need to store OpKind in Nir
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions