idris-lang/idris-tutorial idris-lang/idris-tutorial

  • Stars
    star
    95
  • Rank 354,083 (Top 7 %)
  • Language
    TeX
  • Created about 11 years ago
  • Updated almost 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
idris-lang/idris-tutorial
github

idris-lang

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A tutorial to the Idris Programming Language.

More Repositories

1

Idris-dev

A Dependently Typed Functional Programming Language
Haskell
3,431
star
2

Idris2

A purely functional programming language with first class types
Idris
2,506
star
3

idris-emptycg

An empty code generator, to be used as a starting point for any new back ends.
Haskell
51
star
4

idris-lang.github.io

The Idris website
CSS
4
star