Есть спископодобная структура с главным конструктором T = Xseq T T | ...
Есть оператор ~~, который должен по последовательности x_1 ~~ x_2 ~~ x_3 ~~ ... ~~ x_n строить Xseq x_1 (Xseq x_2 (... (Xseq x_{n-1} x_n)))..)
можно ли провернуть такое?
Ответ на:
комментарий
от Miguel
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.