Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Types as axioms, or: playing god with static types
lexi-lambda.github.io
109 points
goranmoomin
6 years ago
25 comments
Loading...
Types as axioms, or: playing god with static types | Heykuki News