Propietario · idris-lang

idris-lang

Repositorios de código abierto monitorizados de idris-lang, ordenados por estrellas.

1 repositorio

#1
Idris2 ↗@idris-langIdris
Un lenguaje de programación puramente funcional con tipos de primera clase
★ 3052+3Variación de estrellas de los últimos 7 días