[<<][meta_siso][>>][..]
Sat Aug 1 02:17:25 EDT 2015

Dumping state

Trouble is that inserting Let fixes the type of the return value
(final continuation) to Term.  To recover the state at the end of a
computation, it needs to be embedded in Term.



[Reply][About]
[<<][meta_siso][>>][..]