← Feed @jesper@agda.club Post #2775979 2026-05-13 13:03 UTC @totbwf@types.pl Thanks, I've created an issue for it at github.com/agda/agda/issues/8564 Replies (0) No replies.