idris-hackers/idris-crypto — pull request #1 by jfdm (2014-04-11 08:04:54+00:00)
Title: New/dev docs

Fleshed out the README and added contributing files stolen from idris-dev.