Hacker News new | ask | show | jobs
by namarkiv 4212 days ago
Dependent types, gradual typing, HoTT