← Feed @mio@shrimp.mio19.uk Post #1724085 2026-04-19 12:06 UTC @liamoc Where can I read the proposed agda contributors policy? I am unable to find it by using search engines Replies (0) No replies.