Last modified on 30 April 2014, at 04:59
is a lazy functional programming language with a state of the art type system. This tutorial aims to be friendly enough for new programmers, yet deep enough to challenge the most experienced.
Content is available under
CC BY-SA 3.0
unless otherwise noted.