Login
From:
lexi-lambda.github.io
(Uncensored)
subscribe
Types as axioms, or: playing god with static types
https://lexi-lambda.github.io/blog/2020/08/13/types-as-axioms-or-playing-god-with-static-types/
links
backlinks
Roast topics
Find topics
Find it!
Types as axioms, or: playing god with static types
