git.iko.soy/Idris-dev
on d1663cc help sign in
history oftutorial/idris-tutorial.tex
all commits
32e29e1Fixed reference errors, and improved idrislang.sty.Jan de Muijnck-Hughes eaa15c6Converted examples to listings.Jan de Muijnck-Hughes c75a418Improved macros.Jan de Muijnck-Hughes 87f17deVarious 'beneath the hood' improvements made to the tutorial project.Jan de Muijnck-Hughes 7aa8283Small tutorial tweaks for 0.9.10Edwin Brady 61d39daSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etcEdwin Brady 437526aUpdate version number in tutorialEdwin Brady 1819feamade TOC in tutorial clickable but still without colorMekeor Melire 486b176Some re-ordering of the tutorialEdwin Brady 7e2765bIdiom brackets and dsl notation in tutorialEdwin Brady 34331d9Document auto implicitsEdwin Brady 310ca03First complete tutorial draftEdwin Brady ebf9100Binary adder exampleEdwin Brady 38c9ec8Theorem proving in the tutorialEdwin Brady 16708a9More flexibility using overloading functions in patternsEdwin Brady c6c3901Added well-typed interpreter section to tutorialEdwin Brady c154f5cMore tutorial: useful types, type classesEdwin Brady 9ca99e9Some more tutorial adapted from old versionEdwin Brady e261167Add some string primitives (may need latest Epic)Edwin Brady 72c7dbaSome more tutorialEdwin Brady 8fbef42Started a new tutorial. Don't hold your breath.Edwin Brady