This was incredible, even as it rapidly outpaced my PL and mathematics knowledge.
Like I said to a friend, I know just enough category theory to know that I do not understand. Perhaps upon Nth reading.
I think I'll just point to this post the next time some asks me what getting nerdsniped means.
Like I said to a friend, I know just enough category theory to know that I do not understand. Perhaps upon Nth reading.