News for hackers. Stuff that matters.
Re:Category Theory, Syntactically (2016) by lmm on Thursday April 27, 2017 @06:31AM (#14210470)
This is explicitly a syntactic approach. It's treating this as a game you play with symbols. I found it very helpful, so maybe some brains work differently from others.

There are no comments on this comment yet.