harpocrates Karma 532 Created 9 years ago Recent Submissions 1. ▲ What Is Categorical Data? (thatdot.com) 10 points · 4 years ago · 1 comment 2. ▲ GHC proposal for Linear Types (github.com) 2 points · 8 years ago · 0 comments All submissions on HN · View profile on HN