Jean Fromentin 4daac3b093 Move ranked function from MonoitTrait to MonoidFamily 9 年 前
..
base dd3e847b38 Add basic Integer arithmetic 9 年 前
garside 4daac3b093 Move ranked function from MonoitTrait to MonoidFamily 9 年 前