Comment on Ask HN: Should an engineer try to understand type theory?Comments−nikivi5yI collected many links here:https://wiki.nikitavoloboev.xyz/math/type-theory−adder46OP5yAwesome. :)
Comments
I collected many links here:
https://wiki.nikitavoloboev.xyz/math/type-theory
Awesome. :)