git.iko.soy/Idris-dev
on 6dc5ea2 help sign in
Idris-dev/tutorial
1 folder, 20 files
../ examples/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc MakefileIdiom brackets and dsl notation in tutorial classes.texSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc conclusions.texAdded note on the empty type and totality checking to the tutorial conf.ltxmade TOC in tutorial clickable but still without color dsl.texSome re-ordering of the tutorial idris-tutorial.pdfAdded type providers to tutorial idris-tutorial.texSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc interp.texSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc intro.texSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc library.ltxStarted a new tutorial. Don't hold your breath. literature.bibFirst complete tutorial draft macros.ltxSome more tutorial miscellany.texSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc modules.texSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc provisional.texrename O into Z starting.texUpdate version number in tutorial syntax.texTweak syntax rules to deal with consecutive non-terminals better theorems.texrename O into Z typesfuns.texFix a typo in the tutorial. views.texSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc