Hacker News new | ask | show | jobs
by mjan22640 561 days ago
Such a pinnacle would be Agda. Haskell has mathematical holes.