@liamoc Where can I read the proposed agda contributors policy? I am unable to find it by using search engines