Agda v2.9.0
Posted 4 hours ago by
qbane
7
points
https://github.com/agda/agda/releases/tag/v2.9.0
0
comments