A Crash Course in Idris 2

Resource | v1 | created by jjones |
Type Article
Created 2020-05-20
Identifier unavailable


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.


official for Idris

Idris is a purely-functional programming language with dependent types, optional lazy evaluation, and...

references Idris 2: Quantitative Type Theory in Action

Dependent types allow us to express precisely what a function is intended to do. Recent work on Quant...

Edit details Edit relations Attach new author Attach new topic Attach new resource
0.0 /10
useless alright awesome
from 0 reviews
Write comment Rate resource Tip: Rating is anonymous unless you also write a comment.
Resource level 0.0 /10
beginner intermediate advanced
Resource clarity 0.0 /10
hardly clear sometimes unclear perfectly clear
Reviewer's background 0.0 /10
none basics intermediate advanced expert
Comments 0
Currently, there aren't any comments.