Companion code for paper "Imperative Functional Programs that Explain their Work", Wilmer Ricciotti, Jan Stolarek, Roly Perera and James Cheney, ICFP 2017, Oxford, UK
I want to be able to display contents of the arrays. Roadmap:
[ ] create resugaring monad that contains the store
[ ] use the store when resugarring an array
Do we want to do something similar for references? Such pretty printing will not indicate reference aliasing and might be confusing, thus I don't know if this is a good idea.
I want to be able to display contents of the arrays. Roadmap:
Do we want to do something similar for references? Such pretty printing will not indicate reference aliasing and might be confusing, thus I don't know if this is a good idea.