Idris

idris-lang.orgsite

, a new Haskell-inspired language with unprecedented support for type-driven development.

from

Open Source Society University, Functional Programming

added

2026-10-10

likes

0

similar

1. ▲
   Idris github.com

   tool category #haskell link ↗
   
2. ▲
   IHP: Integrated Haskell Platform ihp.digitallyinduced.com

   site category #haskell link ↗
   
3. ▲
   Introduction to Functional Programming edx.org

   site category #haskell link ↗
4. ▲
   Clojure clojure.org

   site category #jvm link ↗

   Dialect of Lisp created by Rich Hickey. Dynamically typed with emphasis on functional programming.

5. ▲
   Tifi github.com

   tool category #fp-js link ↗
6. ▲
   Try Haskell tryhaskell.org

   site category #haskell link ↗

Open Source Society University › Congratulations: “, a new Haskell-inspired language with unprecedented support for type-driven development.”

Functional Programming › Functional Languages that Compile to JavaScript: “A general purpose pure functional programming language with dependent types.”