edwinb/Protocols — pull request #2 by jfdm (2014-06-03 13:58:35+00:00)
Title: Fixed protocols.

+ Replaced `effect` with `call` to reflect changes in the Effects API from `idris-dev`
+ Added .gitignore.
+ Added Makefile
+ Fixed trailing whitespace in viewed files.