Contents

## [The official documentation](http://docs.idris-lang.org/en/latest/index.html)

This tutorial is intended as a brief introduction to the language, 
and is aimed at readers already familiar with a functional language such as Haskell or OCaml. 
In particular, a certain amount of familiarity with Haskell syntax is assumed, 
although most concepts will at least be explained briefly. The reader is also assumed to have 
some interest in using dependent types for writing and verifying systems software.

Version data entries

396 entries across 396 versions & 1 rubygems

Version	Path
trackler-2.2.1.180	tracks/idris/docs/LEARNING.md
trackler-2.2.1.179	tracks/idris/docs/LEARNING.md
trackler-2.2.1.178	tracks/idris/docs/LEARNING.md
trackler-2.2.1.177	tracks/idris/docs/LEARNING.md
trackler-2.2.1.176	tracks/idris/docs/LEARNING.md
trackler-2.2.1.175	tracks/idris/docs/LEARNING.md
trackler-2.2.1.174	tracks/idris/docs/LEARNING.md
trackler-2.2.1.173	tracks/idris/docs/LEARNING.md
trackler-2.2.1.172	tracks/idris/docs/LEARNING.md
trackler-2.2.1.171	tracks/idris/docs/LEARNING.md
trackler-2.2.1.170	tracks/idris/docs/LEARNING.md
trackler-2.2.1.169	tracks/idris/docs/LEARNING.md
trackler-2.2.1.167	tracks/idris/docs/LEARNING.md
trackler-2.2.1.166	tracks/idris/docs/LEARNING.md
trackler-2.2.1.165	tracks/idris/docs/LEARNING.md
trackler-2.2.1.164	tracks/idris/docs/LEARNING.md
trackler-2.2.1.163	tracks/idris/docs/LEARNING.md
trackler-2.2.1.162	tracks/idris/docs/LEARNING.md
trackler-2.2.1.161	tracks/idris/docs/LEARNING.md
trackler-2.2.1.160	tracks/idris/docs/LEARNING.md