Idris
idris-lang.org ↗, a new Haskell-inspired language with unprecedented support for type-driven development.
, a new Haskell-inspired language with unprecedented support for type-driven development.
This entry links to an external website rather than a GitHub repository, so there's no README to display here.