Re: another wish for Hat

Malcolm Wallace <[email protected]> Thu, 16 Oct 2008 15:16:37 +0100

Newsgroups	gmane.comp.lang.haskell.hat
Organization	Dept of Computer Science, University of York
Message-ID	<[email protected]>

Anthony Travers wished for:

> 	"A technical document defining the format of Hat traces, so
> 	 that implementors of Haskell can add native support for Hat
> 	 to their respective systems."

Great idea!  Do the documents at 

    http://www.cs.york.ac.uk/fp/hat/Memos/

come close?  Especially these ones:

    14  Hat File Format 
    19  A Better Hat File Format 
    31  The Definition of the Augmented Redex Trail

Regards,
    Malcolm