edwinb/Protocols — pull request #6 by jfdm (2014-09-22 09:04:57+00:00)
Title: Changed package named to protocols.

To reflect the change in effects implementation in 'Idris', this PR updates the package name from newprotocols to protocols. I thought I had already pushed this...