News for hackers. Stuff that matters.

A comment on Types as axioms, or: playing god with static types. Parent comment

Re:Types as axioms, or: playing god with static types by city41 on Saturday August 15, 2020 @11:24AM (#24169512)
Yup, my bad. Thanks for poking me.
[ Parent | on HN ]

There are no comments on this comment yet.