Hacker News new | ask | show | jobs
by shikoba 1452 days ago
There are so many things to fix. And they should have use coq as default language.