From 6ad6ebbdcb87bef736240dc5ab1de4ccb89c1103 Mon Sep 17 00:00:00 2001 From: Alexander Rosenberg Date: Tue, 19 Mar 2024 13:04:41 -0700 Subject: [PATCH] Add fricas stuff --- init.el | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) diff --git a/init.el b/init.el index 72ef3d9..8f0126f 100644 --- a/init.el +++ b/init.el @@ -939,6 +939,27 @@ argument." (funcall-interactively #'sage-shell:run-sage (sage-shell:read-command))))) +;; fricas (because I like calculator) +(add-to-list 'load-path "/usr/lib/fricas/emacs/") +(use-package fricas + :ensure nil + :config + (face-spec-set 'fricas-type-time '((t (:foreground nil + :background nil + :inherit font-lock-type-face)))) + (face-spec-set 'fricas-message '((t (:foreground nil + :background nil + :inherit error)))) + (face-spec-set 'fricas-undefined '((t (:foreground nil + :background nil + :inherit nerd-icons-lblue)))) + (face-spec-set 'fricas-algebra '((t (:foreground nil + :background nil + :inherit fricas-prompt)))) + (face-spec-set 'fricas-TeX '((t (:foreground nil + :background nil + :inherit fricas-prompt))))) + ;; gnuplot (mostly for org-plot) (use-package gnuplot)