3 ms·
can you expand on "write programs as morphisms directly" I'm someone super interested in category theory and ITT, but I can't quite parse what you are trying t
by nh23423fefe 2y ago
can you expand on "write programs as morphisms directly"
I'm someone super interested in category theory and ITT, but I can't quite parse what you are trying to convey even though I think I have the prereqs to understand the answer.