Hacker News new | ask | show | jobs
by 0des 1490 days ago
also coq, from what charles hoskinson says