A tutorial to the Idris Programming Language.