Mariano wrote:
> Has anyone written a Haskell program manipulator?
> What I have in mind is some kind of interactive environment allowing one
> to, say, fold/unfold definitions, typecheck (sub)expressions,
> etc...
Mark replied:
> Not yet, but that is exactly what I am working on in my dissertat
Mariano Suarez Alvarez wrote:
>
> Has anyone written a Haskell program manipulator?
> What I have in mind is some kind of interactive environment allowing one
> to, say, fold/unfold definitions, typecheck (sub)expressions,
> etc...e??Xa?^aZOUo^aUu[ZaaG??E?u?u
>
Not yet, but that is exactly what