Re: [Haskell-cafe] ANNOUNCE: Anansi 0.4.2 (literate programming pre-processor)

2011-12-18 Thread Magnus Therning
On Sun, Dec 18, 2011 at 01:05:06PM +0100, Magnus Therning wrote: > On Tue, Dec 13, 2011 at 12:36:44PM -0800, John Millikin wrote: >> On Tue, Dec 13, 2011 at 03:39, Magnus Therning wrote: >>> 1. What to call files?  I understand (C)WEB suggests using .w, and >>> that noweb uses .nw, what should I c

Re: [Haskell-cafe] ANNOUNCE: Anansi 0.4.2 (literate programming pre-processor)

2011-12-18 Thread Magnus Therning
On Tue, Dec 13, 2011 at 12:36:44PM -0800, John Millikin wrote: > On Tue, Dec 13, 2011 at 03:39, Magnus Therning wrote: >> 1. What to call files?  I understand (C)WEB suggests using .w, and >> that noweb uses .nw, what should I call anansi files? > > I usually use .anansi, but it doesn't matter. Y

Re: [Haskell-cafe] ANNOUNCE: Anansi 0.4.2 (literate programming pre-processor)

2011-12-13 Thread John Millikin
On Tue, Dec 13, 2011 at 03:39, Magnus Therning wrote: > 1. What to call files?  I understand (C)WEB suggests using .w, and > that noweb uses .nw, what should I call anansi files? I usually use .anansi, but it doesn't matter. You can use whatever extensions you like, or even none at all. > 2. Com

Re: [Haskell-cafe] ANNOUNCE: Anansi 0.4.2 (literate programming pre-processor)

2011-12-13 Thread Magnus Therning
On Sun, Dec 11, 2011 at 04:22, John Millikin wrote: > Anansi is a preprocessor for literate programs, in the model of NoWeb > or nuweb. Literate programming allows both computer code and > documentation to be generated from a single unified source. > > Home page: https://john-millikin.com/software

[Haskell-cafe] ANNOUNCE: Anansi 0.4.2 (literate programming pre-processor)

2011-12-10 Thread John Millikin
Anansi is a preprocessor for literate programs, in the model of NoWeb or nuweb. Literate programming allows both computer code and documentation to be generated from a single unified source. Home page: https://john-millikin.com/software/anansi/ Hackage: http://hackage.haskell.org/package/anansi-0.