Lemma – a processor to “cite” source code code in documentation

This looks interesting. A way of transitively including code examples from current, tested, code into documentation. In some ways it’s in the same vein as Knuth’s “Literate Programming” and its associated tools, although it does not quite go as far in abandoning the structure of code in favour of the structure of readable documentation.

Lemma – Introduction.