That’s wild. I think I only learned about category theory to understand even a little bit of how code can be proofed or proven.

Keyboard shortcuts

j previous speech k next speech