Cateno icon indicating copy to clipboard operation
Cateno copied to clipboard

Published 20 hours ago • verified publisher icon jasonmorton

Doctrine lattice

Open jasonmorton opened this issue 9 years ago • 0 comments

This is needed for things like: A is an object A.signature.doctrine is X ev(A) should check if X implements ClosedCompactCategory

jasonmorton avatar Jul 23 '15 16:07 jasonmorton