4 Oct
2020
4 Oct
'20
6:34 p.m.
On Mon, 5 Oct 2020, Luc Duponcheel wrote:
Is there a way to let ghci (or executable code generated by ghc) show all intermediate rewrite results when an expression is evaluated to its final result?
I don't know the answer for GHCi - but for an extremely simple subset of Haskell that is non-strict but lacks sharing, you may try our live-sequencer: https://www.youtube.com/watch?v=0EQCgi5qa3E https://hackage.haskell.org/package/live-sequencer https://sim.mathematik.uni-halle.de/henning/flatpak/bundle/live-sequencer-0....