   )
 
 ;; docs https://agda.readthedocs.io/en/latest/tools/emacs-mode.html
-(setq load-path (cons "~/workspace/agda/src/data/emacs-mode" load-path))
-(require 'agda2-mode)
+;; (setq load-path (cons "~/workspace/agda/src/data/emacs-mode" load-path))
+;; (require 'agda2-mode)
 ;; (add-hook 'agda2-mode-hook
 ;;           '(lambda ()
 ;;             ; If you do not want to use any input method:

;; ;; (autoload 'ghc-debug "ghc" nil t)

(require 'ormolu)
(defun my-haskell-mode-hook ()
  (interactive)
  (turn-on-subword-mode)

 '(ripgrep-arguments (quote ("-M200")))
 '(safe-local-variable-values
   (quote
    ((eval setenv "NIX_PATH" "nixpkgs=https://github.com/nixos/nixpkgs/archive/681db603640dac395b0f76eb666f39019457131b.tar.gz")
     (intero-targets "github-agent:lib")
     (intero-targets "lambda-calculus-hs:exe:lambda-calculus-hs")
     (dante-repl-command-line "stack" "repl" "--ghc-options=\"-fno-code\"" dante-target)
     (dante-repl-command-line "stack" "repl" "--ghc-options=\"-j -fno-code -fobject-code\"" dante-target)
