bijection icon indicating copy to clipboard operation
bijection copied to clipboard

Published 20 hours ago • verified publisher icon twitter

Add implicit from Bijection[A, B @@ Rep[A]] to Injection[A, B]

Open johnynek opened this issue 11 years ago • 0 comments

have to be careful with cycles in the implicit resolution.

johnynek avatar Jul 12 '13 21:07 johnynek