История изменений
Исправление system-root, (текущая версия) :
которая бы меняла местами умножение и сложение
кажется до меня начинает доходить. нужно поменять product и coproduct местами и отменить изоморфизм.
a + Void = a * Void. яснопонятно.
Исходная версия system-root, :
которая бы меняла местами умножение и сложение
кажется до меня начинает доходить. нужно поменять product и coproducts местами и отменить изоморфизм.
a + Void = a * Void. яснопонятно.