in reply to @ 2015-316.546Z(type-theorists, category theorists?) … what do they use to solve real-life programming problems
I think you have your answer
in reply to @ 2015-316.546Z(type-theorists, category theorists?) … what do they use to solve real-life programming problems
I think you have your answer