idris-lang/Idris-dev — pull request #847 by david-christiansen (2014-02-04 08:00:56+00:00)
Title: Add a template for bijections to/from primitives

RE #833