Package Details: emacs-idris-mode-git 20150609-1

Git Clone URL: (read-only, click to copy)
Package Base: emacs-idris-mode-git
Description: Major mode for editing Idris.
Upstream URL:
Licenses: GPL3
Provides: emacs-idris-mode
Replaces: emacs-idris-mode
Submitter: soimort
Maintainer: micwoj92
Last Packager: micwoj92
Votes: 2
Popularity: 0.60
First Submitted: 2013-09-23 21:35 (UTC)
Last Updated: 2024-02-07 10:20 (UTC)

Latest Comments

dmz commented on 2017-12-30 23:58 (UTC)

This package didn't work for me because I didn't have the emacs package prop-menu installed. I can't find an AUR package for prop-menu, but maybe there's another way to include the dependency for that.