Hacker News new | ask | show | jobs
by steshaw 2515 days ago
Well done! I am inspired. Dependent types are the future, and so are you :-).