idris-lang

Repositories

• Idris2

  A purely functional programming language with first class types
  Idris 24 281 64 7 Updated May 22, 2020

• Idris-dev

  A Dependently Typed Functional Programming Language
  Haskell 666 3,190 675 27 Updated May 19, 2020

• idris-emptycg

  An empty code generator, to be used as a starting point for any new back ends.
  Haskell 19 43 1 3 Updated Nov 2, 2017

• idris-tutorial

  A tutorial to the Idris Programming Language.
  TeX 26 87 0 1 Updated Dec 16, 2015