Hacker News
- 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/ 25 comments
Lobsters
- Types as axioms, or: playing god with static types (2020) https://lexi-lambda.github.io/blog/2020/08/13/types-as-axioms-or-playing-god-with-static-types/ 3 comments haskell , plt , programming
- 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/ 25 comments programming
- 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/ 9 comments haskell