Hacker News new | ask | show | jobs
by mcguire 2514 days ago
I hate to tell you, but you're on your way to dependent types.