Proprietário · idris-lang

idris-lang

Repositórios de código aberto acompanhados de idris-lang, ordenados por estrelas.

1 repositório

#1
Idris2 ↗@idris-langIdris
Uma linguagem de programação puramente funcional com tipos de primeira classe.
★ 3.052+3Variação de estrelas nos últimos 7 dias