PLFA agda exercises

ignore /src/_build

Created by  tzemanovic  on February 13, 2026
FUXV43PVZVTXQHIERAF2BDBCXUFW2AKPFDJTGEKFIOBGRIHVFXHAC
In channels
main
Change contents