git.iko.soy/Idris-dev
on 875eecc help sign in
history oftutorial/syntax.tex
all commits
cc716d7Make 'Type' the type of types instead of Sets ...after mailing list discussionEdwin Brady 2ec60c8Added binding form to syntax rules (and updated tutorial accordingly)Edwin Brady 486b176Some re-ordering of the tutorialEdwin Brady 401e9a0so type and pattern/term syntax extensions in tutorialEdwin Brady 7df6265Remove some needless bracketing from if...then...elseEdwin Brady 4cfbff1Tinkered with syntax rules section in tutorialEdwin Brady 310ca03First complete tutorial draftEdwin Brady ebf9100Binary adder exampleEdwin Brady