Hacker News new | ask | show | jobs
by mhh__ 1129 days ago
Dependant types or it's a toy.