Companion code for paper "Imperative Functional Programs that Explain their Work", Wilmer Ricciotti, Jan Stolarek, Roly Perera and James Cheney, ICFP 2017, Oxford, UK
New imperative constructors (references, exceptions, loops and arrays) are completely ignored in the Visualize module. Need to carefully update the code - carefully, because pattern exhaustiveness checker is of no use when we're matching elements in pairs.
New imperative constructors (references, exceptions, loops and arrays) are completely ignored in the
Visualize
module. Need to carefully update the code - carefully, because pattern exhaustiveness checker is of no use when we're matching elements in pairs.