Skip to content

Commit

Permalink
Added roles to Coercion.lhs.
Browse files Browse the repository at this point in the history
  • Loading branch information
Richard Eisenberg committed Jul 9, 2013
1 parent 60cb478 commit e759b8e
Show file tree
Hide file tree
Showing 2 changed files with 364 additions and 153 deletions.
Loading

0 comments on commit e759b8e

Please sign in to comment.