git.iko.soy/Idris-dev
on f0f566f 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