Projects tagged with agda

agda Last built 19 hours ago		latest #24319416 latest #24319416 19 hours ago 761869c5 95 seconds
Agda-zh Last built 1 month ago		latest #23944556 latest #23944556 1 month ago 4 seconds