TN
Transport — можно удалить, и я удалил
Size: a a a
2017 November 23
TN
Comp хавает Transport
TN
и вроде хавает Fill
NK
ну их надо вменяемо порезать, т.е. сделать транслятор из кубика в корекубик и чекер для корекубика
TN
Id IdJ IdC не нада, так как есть Path
TN
ну вот мы хотим же в финале чекер для корекубика
TN
та все что мы пишем счас — это либа 1 в 1 для корекубика
TN
главное не юзать transport без параметров
TN
он там у нас есть еще
TN
а юзать trans из path.ctt
NK
Ну мы его хотим в том числе. На корекубик с индукцией но без унивалентности мне тоже хочется посмотреть
TN
а ну просто Глуе Запрети и все
TN
и 3 штуки со словом Path оставь
TN
и это как раз оно и будет
TN
(показывает на пальцах)
NK
так а не факт что индукция унивалентность не юзает
TN
та не
NK
я ж не имею ввиду текущую встроенную а новую на кодировках
TN
не юзает
TN
фикса достаточно (Стемп, Фу)