
16 Oct
2010
16 Oct
'10
7:04 p.m.
On Fri, Oct 15, 2010 at 9:28 PM, Andrew Coppin
I'm still quite surprised that there's no tool anywhere which will trivially print out the reduction sequence for executing an expression. You'd think this would be laughably easy, and yet nobody has done it yet.
I tried to do something a bit like this: http://github.com/benmachine/stepeval but it could be charitably described as "crude": has three failing testcases and a bagful of unimplemented functionality.