Protocompendia Prototypes of complete accounts of thoughts I have had about things. Stylistic devices in math and programming