News for hackers. Stuff that matters.

A comment on Category Theory, Syntactically (2016). Parent comment

Re:Category Theory, Syntactically (2016) by gumby on Thursday April 27, 2017 @11:48AM (#14212373)
After the proof that one may substitute slivered almonds for chopped crystalized fruit, I have a lemma that says one may substitute slivered almonds for a subset of the chopped crystalized fruit.
[ Parent | on HN ]

There are no comments on this comment yet.