"Kayvan A. Sylvan" <[EMAIL PROTECTED]> writes: | This is the whole point of Knuth's Literate Programming paradigm. You write a | document that describes and implements the code. And if you can then write code that enforces the documented behaviour it will be even easier. This is done by assertions and invariants + compiler enforced requirements (concept checks). Lgb
- Re: Fwd: Re: Mandrake and KDe frontend Angus Leeming
- Re: Fwd: Re: Mandrake and KDe frontend Allan Rae
- Re: Fwd: Re: Mandrake and KDe frontend Jean-Marc Lasgouttes
- A couple of LyX history questions Allan Rae
- Re: A couple of LyX history questions Matthias Ettrich
- Re: Fwd: Re: Mandrake and KDe frontend Amir Karger
- Re: Fwd: Re: Mandrake and KDe frontend John Weiss
- How you can do your own "external&q... Duncan Simpson
- Re: How you can do your own "ex... Kayvan A. Sylvan
- Re: How you can do your own &qu... Allan Rae
- Re: Fwd: Re: Mandrake and KDe f... Lars Gullik Bjønnes
- Re: Fwd: Re: Mandrake and KDe frontend Jean-Marc Lasgouttes
- Re: Fwd: Re: Mandrake and KDe frontend Amir Karger
- Re: Fwd: Re: Mandrake and KDe frontend Jürgen Vigna
- Re: Fwd: Re: Mandrake and KDe frontend Jürgen Vigna
- Re: Fwd: Re: Mandrake and KDe frontend Jürgen Vigna
- Re: Fwd: Re: Mandrake and KDe frontend Jürgen Vigna
- Re: Fwd: Re: Mandrake and KDe frontend Jean-Marc Lasgouttes