Turned into the main idris tutorial