Hacker News new | ask | show | jobs
Agda 2.5.4 has been released (Dependently typed programming language) (hackage.haskell.org)
2 points by jmite 2936 days ago