2.5 Categories and Domains Aldor is designed to be a system in which to represent ... say, by defining the Category1 called Monoid, thus Monoid : Category ...
確定! 回上一頁