alt
Hacker News
bazoom42
•
today at 3:41 PM
•
0 replies
•
view on HN
Can’t the type system reject code which undermines the soundness of the type system?
alt Hacker News