A
пруфгенерал + кокмод тут
Size: a a a
2021 March 04
Aß
C-\
A
big brain time
A
спасибо
Aß
и там первый мод должен быть коковский
Aß
Utoks или как-то так
A
а, он там инпут-метод дефайнит
A
вот и пришлось мне столкнуться с этим)
Aß
как и агда
A
A ß
как и агда
да там хотя бы этот функционал по дефолту работал. Не суть, изич
A
Непривычно что нужно через & вводить вещи
A
видимо-таки что-то не так сделал
A
норм, наверное достаточно просто теховский инпут-метод врубить
A
спасибо
Aß
дефолтный теховский такой себе
Aß
коковский можно настраивать
Aß
ооо
RR
Найти не могут
pdflatex.получилось, спасибо за помощь
Aß
#til pcase-dolist
A
A ß
коковский можно настраивать
я врубил агдовский короче))