git.iko.soy/Idris-dev
on cc48d31 help sign in
Idris-dev/tutorial
1 folder, 20 files
../ examples/Whitespace cleanup. 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.pdftutorial: replace some leftover occurrence of fO idris-tutorial.texSmall tutorial tweaks for 0.9.10 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.textutorial ffi: add emphasis modules.texSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc provisional.texClarify parity/natToBin in the tutorial starting.texSmall tutorial tweaks for 0.9.10 syntax.texTweak syntax rules to deal with consecutive non-terminals better theorems.textutorial: fix typos, add additional step to proof typesfuns.textutorial: replace some leftover occurrence of fO views.texClarify parity/natToBin in the tutorial