Verified record · from the answer index

idris2

clitested · static-verifiedscore 27/100signed passport ✓176 monthly downloads

Pure functional programming language with dependent types

cli:brew:idris2 · published by idris-lang · source repository