Agda v2.8.0 released
(github.com)
from rwnobrega@lemmy.world to programming@programming.dev on 07 Jul 13:14
https://lemmy.world/post/32605504
from rwnobrega@lemmy.world to programming@programming.dev on 07 Jul 13:14
https://lemmy.world/post/32605504
threaded - newest