Hacker News new | ask | show | jobs
by taktoa 1999 days ago
It's not "linear" as in linear algebra (well, it is technically, but only in the abstruse sense that the category of the vector spaces and linear maps is a model of linear logic).