Cherry Blessing
A monad is a monoid in the category of endofunctors
首页
归档
标签
existential
标签
some P and any P
01-01
∃ Existential
06-05