c/programming · by rwnobrega@lemmy.world · 1yAgda v2.8.0 released https://github.com/agda/agda/releases/tag/v2.8.06 points · 0 comments · view on lemmy.world
0 Comments
No comments yet.