The Original Idris tutorial.