search

ekmett / adjunctions

Simple adjunctions
http://hackage.haskell.org/package/adjunctions
Other
44 stars 27 forks source link

Coerce more Co #37

Closed treeowl closed 7 years ago

treeowl commented 7 years ago

Some functions involving Co didn't use coercions between Co and its underlying value. Fixed.