Hi,
historically, I am still responsible for our local ghc-6.12.1,
ghc-7.0.3, and happy-1.16 installations. As far as I can tell, these are
not used anymore -- if anybody disagrees, please speak up.
Otherwise, I will delete them next week.
-- Lars
Dear Ondrej,
Thanks a lot for this. Now I can scrap my own semi-working debugging infrastructure for
transfer(_prover).
Just a comments: Can you add a flag to transfer_step such that it outputs the rule it used
as tracing information? My problem is that with big terms, I get a lot of