Agda 2.5.4 has been released (Dependently typed programming language) (hackage.haskell.org) 2 points by jmite 8y ago ↗ HN
0 comments
[ 3.4 ms ] story [ 11.6 ms ] threadNo comments yet.