A Crash Course in Idris 2


Resource history | v1 (current) | created by jjones

Details

A Crash Course in Idris 2

| created by jjones | Add topic "Idris"
Title
A Crash Course in Idris 2
Type
Article
Created
2020-05-20
Description
This is a crash course in Idris 2 (sort of a tutorial, but rather less gentle I’m afraid!). It provides a brief introduction to programming in the Idris Language. It covers the core language features, assuming some experience with an existing functional programming language such as Haskell or OCaml.
Link
https://idris2.readthedocs.io/en/latest/tutorial/index.html
Identifier
no value

authors

This resource has no history of related authors.

topics

official for Idris
v1 | attached by jjones | Add topic "Idris"