Projects tagged with dependent-types

agda Last built 1 day, 2 hours ago		latest #24319416 latest #24319416 1 day, 2 hours ago 761869c5 95 seconds
beluga-lang Last built 3 months, 1 week ago		latest #23277943 latest #23277943 3 months, 1 week ago 2 seconds