lambda-mountain
lambda-mountain copied to clipboard
Contravariant unification
This is necessary for some things like the set function.