Tony Finch
dot@dotat.at
https://dotat.at/
https://dotat.at/:/5L9GZ.html
2020-08-14T16:59:11Z
Types as axioms, or: playing god with static types.
2020‑08‑14
Types as axioms, or: playing god with static types.
http://lexi-lambda.github.io/blog/2020/08/13/types-as-axioms-or-playing-god-with-static-types/
redirect
https://dotat.at/:/5L9GZ
blurb
https://dotat.at/:/5L9GZ.html
atom entry
https://dotat.at/:/5L9GZ.atom
wayback machine
web.archive.org
]]>