Projects tagged with idris

elba Last built 3 years, 11 months ago		latest #11093828 latest #11093828 3 years, 11 months ago a16b0c12 50 seconds
idris1-zh Last built 1 year, 9 months ago		latest #17573056 latest #17573056 1 year, 9 months ago 129362ce 66 seconds
idris-jvm Last built 1 month, 1 week ago		main #23948574 main #23948574 1 month, 1 week ago 3ebd6fb6 38 seconds
Idris-zh Last built 5 years, 1 month ago		latest #8846050 latest #8846050 5 years, 1 month ago 456fc641 84 seconds