git.iko.soy/Idris-dev
on d1663cc help sign in
history oftutorial/Makefile
all commits
87f17deVarious 'beneath the hood' improvements made to the tutorial project.Jan de Muijnck-Hughes 7e2765bIdiom brackets and dsl notation in tutorialEdwin 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 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