Telecharger Cours

Relational Algebra by Way of Adjunctions

unit : Bag 1 -- really 1 ? Bag 1 unit = (). (×) : Bag A × Bag B ? Bag (A ... class Pointed a where null :: a. isNull :: a ? B -- is the argument null?



Download