git.iko.soy/Idris-dev
on ef93607 help sign in
history oftutorial/miscellany.tex
all commits
61d39daSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etcEdwin Brady 894db6fMerge pull request #340 from JanBessai/BackendTargetSpecificationEdwin Brady d6169acFix tutorial textJan Bessai eacfe5cAdded backend target specification to %lib, %link and %include directivesJan Bessai 63c90dbAdded type providers to tutorialDavid Christiansen ee77b14Fix typo: "foriegn" -> "foreign"David Christiansen a4b7374Added :x, :dynamic, and %dynamic to the tutorialDavid Christiansen f46aacdBrief note on implicits in the tutorialEdwin Brady cc716d7Make 'Type' the type of types instead of Sets ...after mailing list discussionEdwin Brady 4bbbf1dDocument named instancesEdwin Brady 0af8a2eWork on implementation paper; tutorial fixesEdwin Brady 891b52a%obj should be %link in tutorialEdwin Brady 486b176Some re-ordering of the tutorialEdwin Brady 34331d9Document auto implicitsEdwin Brady 2ce525eintros tactic; some library tinkeringEdwin Brady 0b9cab2Note on cumulativity in tutorialEdwin Brady 2e9fcd4Remove semicolons in tutorialEdwin Brady e24955aNote on where scoping and types in tutorialEdwin Brady 310ca03First complete tutorial draftEdwin Brady ebf9100Binary adder exampleEdwin Brady c6c3901Added well-typed interpreter section to tutorialEdwin Brady 8fbef42Started a new tutorial. Don't hold your breath.Edwin Brady