Hacker News new | ask | show | jobs
by solomonb 2131 days ago
I think it would be a challenge without dependent types.