Hacker News new | ask | show | jobs
by jcora 2372 days ago
This is not a practical language with dependent types tho lol