[Top][All Lists]
[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.
- Re: [Axiom-developer] Literate documentation, (continued)
- Re: [Axiom-developer] Literate documentation, Ralf Hemmecke, 2007/05/15
- Re: [Axiom-developer] Literate documentation, Ralf Hemmecke, 2007/05/18
- RE: [Axiom-developer] Literate documentation, Bill Page, 2007/05/18
- Re: [Axiom-developer] Literate documentation, Ralf Hemmecke, 2007/05/18
- RE: [Axiom-developer] Literate documentation, Bill Page, 2007/05/19
- Re: [Axiom-developer] Literate documentation, Ralf Hemmecke, 2007/05/19
- Re: [Axiom-developer] Literate documentation, C Y, 2007/05/19
- Aldor -> Lisp/C was: Re: [Axiom-developer] Literate documentation, Ralf Hemmecke, 2007/05/19
- RE: [Axiom-developer] Literate documentation, Bill Page, 2007/05/20
- RE: [Axiom-developer] Literate documentation, C Y, 2007/05/18
[Axiom-developer] RE: Literate documentation,
Bill Page <=
[Axiom-developer] Literate documentation, daly, 2007/05/14
[Axiom-developer] Literate documentation, daly, 2007/05/14