Re:Counterexamples in Type Systems
by duped on Monday May 24, 2021 @03:15PM
(#27268517)
The mathematical background required is just familiarity with notation... which is my entire point. It sounds like you don't have a good handle on the mathematical pedagogy required to be a good engineer today - it's not what you could describe as extensive
[ Parent
| on HN ]
There are no comments on this comment yet.