Skip to content

Top New Best Ask Show Jobs

Agda 2.5.4 has been released (Dependently typed programming language) (opens in new tab)

(hackage.haskell.org)

2 pointsjmite7y ago0 comments

0 comments

No comments yet.

Agda 2.5.4 has been released (Dependently typed programming language) | Better HN