ramified/codelearning

some descriptions of formal code

TeX