cleaned up Literate Programming section