Closed raccog closed 10 months ago
Rewriting this branch from scratch as #315.
I'm going to also work on #303 and #307 within this branch. Figured since I am redefining a lot of types anyways, I might as well move them to the ISA library at the same time.
Draft branch for #306 and #311.