idris-lang

Pinned Repositories

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

idris-lang's Repositories

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