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