idris-lang

Pinned Repositories

Idris-dev
A Dependently Typed Functional Programming Language
Language:Haskell3.4k 120 2.3k643
idris-emptycg
An empty code generator, to be used as a starting point for any new back ends.
Language:Haskell51 9 121
idris-lang.github.io
The Idris website
Language:CSS4 3 07
idris-tutorial
A tutorial to the Idris Programming Language.
Language:TeX95 22 2227
Idris2
A purely functional programming language with first class types
Language:Idris2.5k 64 1.2k374

idris-lang's Repositories

idris-lang/Idris-dev
A Dependently Typed Functional Programming Language
Language:Haskell3.4k 120 2.3k643
idris-lang/Idris2
A purely functional programming language with first class types
Language:Idris2.5k 64 1.2k374
idris-lang/idris-tutorial
A tutorial to the Idris Programming Language.
Language:TeX95 22 2227
idris-lang/idris-emptycg
An empty code generator, to be used as a starting point for any new back ends.
Language:Haskell51 9 121
idris-lang/idris-lang.github.io
The Idris website
Language:CSS4 3 07