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.
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.