Tracking issue for HeapLang interpreter
This is the tracking issue for the HeapLang interpreter added in !564 (merged). A tracking issue is where we track and discuss what still needs to happen to make a module move to Iris proper.
Open issues
- Generalize the monad and move it to std++, and generalize the tactics for the monad.
- Find some way to avoid the
pretty_string
instance, or move it to std++.
Edited by Ralf Jung