Name	Brief	Tags	blog	timeline
aodt	What is cosh(List(Bool))? Or beyond algebra: analysis of data types.	There is that curious idea that you can think of a type in a programming languag ...	math   programming	+	+