User avatar
mio @mio@shrimp.mio19.uk
4d
@liamoc Where can I read the proposed agda contributors policy? I am unable to find it by using search engines