asr's profile - Read the Docs

asr

Joined 8 years, 6 months ago

agda Last built 23 hours ago		latest #24319416 latest #24319416 23 hours ago 761869c5 95 seconds
my-agda Last built 5 years, 4 months ago		latest #8250052 latest #8250052 5 years, 4 months ago c97a7abe 83 seconds