NameBriefTagsblogtimeline
2025/04/16What 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++