;; -*- no-byte-compile: t; -*-
;;; lang/idris/packages.el

(package! idris-mode :pin "65d6db1b7574ceccd3d97eee3790c2f74aa9724d")