A Crash Course in Idris 2

Resource history | v1 (current) | created by jjones on Jun 2, 2021

Details

see v1 | created by jjones on Jun 2, 2021 | 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

This resource has no history of related authors.

v1 | attached by jjones on Jun 2, 2021 | Add topic "Idris"