On 11/30/10 16:46, Stephen Tetley wrote:
Andy Gill developed HERA which sounds somewhat similar to what you are asking, but I don't know that it would be particularly beginner friendly and I think it was static - i.e. the reduction rules were applied to program source code rather than within an interactive evaluation of a running program. I thought I'd seen more information about it on the web, but all I can seem to find at the moment is this page:
http://www.haskell.org/haskellwiki/Haskell_Equational_Reasoning_Assistant
[snip] Thanks for that link Stephen, unfortunately when I, as instructed by that link, did: darcs get http://code.haskell.org/HERA and then, as instructed by the just gotten HERA/README, did: make boot I got errors as shown in the attachment. I did post these results on the HERA discussion page: http://www.haskell.org/haskellwiki /Talk:Haskell_Equational_Reasoning_Assistant However, apparently I didn't post it right because it's all formatted wrong, making it hard to read :( -regards, Larry