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

#programming

threaded - newest