Who doesn't want unsound type systems?(frenchy64.github.io)
frenchy64.github.io
Who doesn't want unsound type systems?
https://frenchy64.github.io/2018/04/09/unsoundness-reply.html
0 comments
—
https://frenchy64.github.io/2018/04/09/unsoundness-reply.html
—