|
|
|
|
|
|
by nh23423fefe
498 days 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. |
|
|