git.iko.soy/Idris-dev
on efde939 help sign in
history oftest/tutorial003/tutorial003.idr
all commits
4d0a065Change "class/instance" keywordsEdwin Brady 44bdf1dChanged (<$>) to (<*>)Tenor Biel 7cea995Add tests for tutorial examplesEdwin Brady