OlingCat's profile - Read the Docs

OlingCat

OlingCat

Joined 6 years, 2 months ago

Agda-zh Last built 1 month, 1 week ago		latest #23944556 latest #23944556 1 month, 1 week ago 4 seconds
Coq-zh Not built yet
Idris-zh Last built 5 years, 1 month ago		latest #8846050 latest #8846050 5 years, 1 month ago 456fc641 84 seconds
Stack-zh Last built 6 years, 2 months ago		latest #6833886 latest #6833886 6 years, 2 months ago a6ae6a51 61 seconds