Nat-Like Types, or Dynamic and Static Informationchriswarbo.net3 points·Y_Y··0 commentsOpen articleSaveView on HN