You can browse Axiom's literate programs online here The pamphlet files contain both documentation and program source code. They can be viewed as high quality PDF or dvi files as well as being extracted (tangled) as source modules.