VL
ну а где-то есть шорткат под это?
попробуй вместо лямбды вставить defun
Size: a a a
2020 September 21
SM
C-x 8 C-h?
и правда, спасибо, всё время забываю
y
Как можно добавить бинд для ввода какого-то фиксированного юникодного символа(например, лямбды)? Я знаю, что есть
C-x 8 RET, но мне сейчас часто нужна лямбда, а вводить её так запарноЕще можно сделать сниппет, который заменяет lambda на λ
SM
yosk
Еще можно сделать сниппет, который заменяет lambda на λ
Что-то не подумал об этом, спасибо
VL
Что-то не подумал об этом, спасибо
abbrev можно заюзать например
PG
Как можно добавить бинд для ввода какого-то фиксированного юникодного символа(например, лямбды)? Я знаю, что есть
C-x 8 RET, но мне сейчас часто нужна лямбда, а вводить её так запарноМожешь использовать какой-нибудь input method, например TeX
SM
Можешь использовать какой-нибудь input method, например TeX
А как они работают?
PG
\lambda будет заменяться на символ
SM
Хм, неплохо, спасибо
PG
Для языков типа Agda, Coq, Lean есть свои im
A
Для языков типа Agda, Coq, Lean есть свои im
Haha Coq
PG
Artem
Haha Coq
benis xddddd
A
benis xddddd
Это когда мы думали пейсать свой билдер для контейнеров, думали называть его buildo, чтобы над шаповским buildah посмеяться
A
Ничего так и не написали, потому что оказывается клоуны не очень годятся под эту задачу.
AP
Artem
Ничего так и не написали, потому что оказывается клоуны не очень годятся под эту задачу.
А на чем писать собирались?
A
А на чем писать собирались?
На расте, конечно.
l
Есть ли какой-нибудь отдельный пакет емакса, который отображает команды в всплывающем меню как на фато? Или это особенность doom-emacs?
AT
which-key