Programming @programming.dev rwnobrega @lemmy.world 8mo ago Agda v2.8.0 released github.com Release v2.8.0 · agda/agda
