PLFA agda exercises

Add constraint citeproc <0.10 (#1134)

Created by  Wen Kokke  on October 2, 2025
ETBXXCZZ4ILXQJ5ECHB3UQXNOIYUWKZSQADWZ2IWSYOF3ZWWJZHQC
In channels
main
Change contents