[Haskell-cafe] showing execution steps

[Henning Thielemann]

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.0.6.2.x86_64.flatpak