coldpresent··on Linear types are merged in GHCIs there an explanation out there about the vector space model? Perhaps one that relates to Gir87's phase semantics?
coldpresent··on Why isn't the external link symbol in Unicode? (2018)APL is a means of communicating mathematical ideas between people, so it shouldn't be too surprising that it's in Unicode.
coldpresent··on TXR: An Original, New Programming Language for Convenient Data Munging> If a program is significantly clearer and shorter in another language, that is considered a bug in TXR.Well, that's a first for me.
coldpresent··on APL Demonstration (1975) [video]I find that his mentioning of "monadic" and "dyadic" instead of "unary" and "binary" interesting, why did he mention those?