Hacker News new | ask | show | jobs
by dllthomas 4068 days ago
Lack of dependent types? :-P