code-verissimilitude

Next: ASCII-declarative-markup Prev: language-independence Up: Glasgow-objectives Top: Top

0.1.1.4. Program code written exactly as in illiterate programs

You put executable/compilable code into your literate programs by inserting it in a `\begin{code}/\end{code}' environment (or the "Bird-track" equivalent); for example:

\begin{code}
main _ = [ AppendChan stdout "Hello, world!\n" ]

\end{code}

The principle is: you can write code inside a `\begin{code}/\end{code}' environment exactly as you would in an illiterate program in the same language.

This brings up a dichotomy that pervades literate programs: everything in the program is either code (stuff in a code environment, or equivalent) or text (everything else).