axiom-developer
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] RE: Literate documentation


From: Bill Page
Subject: [Axiom-developer] RE: Literate documentation
Date: Tue, 15 May 2007 15:13:25 -0400

Tim,

On May 14, 2007 5:52 PM you wrote:
> 
> Thanks for the pointers.
> 

Here is another literate progamming project published in the
form of a book:

The Haskell Road to Logic, Maths and Programming

by Kees Doets and Jan van Eijck

"The programs in this book have all been tested with Hugs98,
the version of Hugs that implements the Haskell 98 standard.
The full source code of all programs is integrated in the book;
in fact, each chapter can be viewed as a literate program
[Knu92] in Haskell. The source code of all programs discussed
in the text can be found on the website devoted to this book,
at address http://www.cwi.nl/~jve/HR

> The key reason Leo does not attract me is that I live in
> emacs.  However, I will download it and try it.
> 

Great. Xemacs is integrated into Leo as an external editor
plug-in. Let me know if you think I can help.

Regards,
Bill Page.






reply via email to

[Prev in Thread] Current Thread [Next in Thread]