[Haskell-cafe] Is there a tutorial interpreter to teach haskell?

[Larry Evans]

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

-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: make_boot_err.txt
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20101220/ec856cbd/attachment.txt>