Agda 2.5.4 has been released (Dependently typed programming language)hackage.haskell.org2 points·jmite··0 commentsOpen articleSaveView on HN