(use-package idris-mode
  :ensure t
  )

(provide 'pkg-idris)

(use-package idris-mode
  :ensure t
  :init
  (custom-set-faces
   '(idris-semantic-bound-face ((t (:foreground "#fe8019"))))
   '(idris-semantic-data-face ((t (:foreground "#8ec07c"))))
   '(idris-semantic-function-face ((t (:foreground "#d3869b"))))
   '(idris-semantic-implicit-face ((t (:foreground "#303030"))))
   ;; '(idris-semantic-module-face ((t (:foreground "#"))))
   ;; '(idris-semantic-namespace-face ((t (:foreground "#"))))
   '(idris-semantic-postulate-face ((t (:foreground "#98971a"))))
   '(idris-semantic-type-face ((t (:foreground "#458588"))))
   )
  )

(provide 'pkg-idris)

Fix type faces of idris-mode
Fix type faces of idris-mode

noraesae/dotfiles,noraesae/dotfiles,noraesae/dotfiles