|
|
|
|
|
|
by FisDugthop
2333 days ago
|
|
|
Indeed, one would hope that the author knows enough category theory to know that choices of syntax are arbitrary and that choices of semantics are forced; any Turing-complete language will do, and the rest is optimization and trying to convince cooked rocks to do arithmetic. |
|
|