Hacker News new | ask | show | jobs
by szany 4847 days ago
There was a mention of dependent types.