lambda-mountain icon indicating copy to clipboard operation
lambda-mountain copied to clipboard

Contravariant unification

Open andrew-johnson-4 opened this issue 1 year ago • 0 comments

This is necessary for some things like the set function.

andrew-johnson-4 avatar Oct 10 '24 04:10 andrew-johnson-4