larstvei/emacs
1
1
Fork 0
mirror of https://github.com/larstvei/dot-emacs.git synced 2025-11-04 01:20:11 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Add BQN mode

Browse Source
This commit is contained in:
larstvei 2024-03-22 19:50:24 +01:00
parent 19be4bc73c
commit 3029210513
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
init.org
View File

@ -1972,6 +1972,14 @@
#+end_src #+end_src
** BQN
#+begin_src emacs-lisp
(use-package bqn-mode
:bind (:map bqn-mode-map ("C-c C-c" . bqn-comint-send-dwim))
:hook (bqn-mode . (lambda () (set-input-method "BQN-Z"))))
#+end_src
** Z3 ** Z3
I mostly use [[https://github.com/Z3Prover/z3][Z3]] as a Python library, but occasionally I'll run some SMT-LIB I mostly use [[https://github.com/Z3Prover/z3][Z3]] as a Python library, but occasionally I'll run some SMT-LIB