vvs: Я коллекционирую логические игрушки, наподобие [Incredible Proof Machine](http://incredible.pm "incredible.pm"), [Poly Blockly](https://cseweb.ucsd.edu/~lerner/proof-game/ "Poly Blockly") или [Euclid, the game](https://euclid.findell.org/ "Euclid"). Возникла мысль: а нельзя ли сделать что-то подобное на Instead? Но тут главное - это интерфейс, который явно уступает браузеру. Надо что-то попроще, вроде [Fitch checker](https://proofs.openlogicproject.org "Fitch"). На первый взгляд - это парсерная игра, но не тут-то было. Поскольку я не специалист в возможностях Instead, то у меня вопрос к знатокам: какие возможности предоставляет Instead для создания подобного интерфейса? Или всё безнадёжно и только вручную с нуля? Возможно, мне и было бы интересно попробовать написать саму логику, но только не код для интерфейса. Например, для вёрстки таких документов, наверное, лучше подошли бы возможности TeX/LaTeX.

Ссылка: http://instead-games.ru/forum/index.php?p=/discussion/773