search

AnyDSL / MimIR

MimIR is my Intermediate Representation
https://anydsl.github.io/MimIR/
MIT License
46 stars 9 forks source link

added %core.idx axiom + test case #213

Closed leissa closed 1 year ago

leissa commented 1 year ago

see Discord discussion.