a literate programming system compatible with any language
