;;; idris-mode site-lisp configuration
(add-to-list 'load-path "@SITELISP@")
(require 'idris-mode)