(no subject)
Dec. 21st, 2017 10:16 amДопустим, я хочу построить штуку, которая реализует правило "больше - лучше."
Тогда мне нужен моноид с функцией добавления, посет и стрелка (value judgement) между ними.
f: + -> >
Тогда мне нужен моноид с функцией добавления, посет и стрелка (value judgement) между ними.
f: + -> >