blogsoni
discuss
about
unsub
log in
Types as axioms, or: playing god with static types
Alexis King’s Blog
6 years ago