Hacker News new | ask | show | jobs
by init0 1453 days ago
Send a PR to fix it!
1 comments
shikoba 1453 days ago
There are so many things to fix. And they should have use coq as default language.
link