From ec0765ecacad72dc60dfd4998f7e59ede4535cf6 Mon Sep 17 00:00:00 2001 From: Masaya Tojo Date: Sat, 27 Feb 2021 00:51:16 +0900 Subject: Add geiser settings --- .emacs | 3 +++ 1 file changed, 3 insertions(+) (limited to '.emacs') diff --git a/.emacs b/.emacs index c04f207..b61bb67 100644 --- a/.emacs +++ b/.emacs @@ -148,5 +148,8 @@ (format "%s <%s>" user-full-name user-mail-address)) (add-hook 'after-save-hook 'copyright-update) +;;; Geiser +(setq geiser-active-implementations '(guile)) + ;;; ACL2 (load "~/acl2-8.3/emacs/emacs-acl2.el") -- cgit v1.2.3