Skip to content

Commit

Permalink
Merge pull request idris-lang#7 from dpmulligan/master
Browse files Browse the repository at this point in the history 
Additions to Prelude
  • Loading branch information
Edwin Brady committed Feb 1, 2012
2 parents 0dd7396 + 63afafa commit 86c2bee
Showing 1 changed file with 294 additions and 40 deletions.

0 comments on commit 86c2bee

Please sign in to comment.