🎁 Get the FREE AI Skills Starter Guide β€” Subscribe β†’
BytesAgainBytesAgain
⭐ GitHub

Idris

by @github

General purpose pure functional programming language with dependent types influenced by Haskell and ML.