To install this package, run in Emacs:
M-x package-install RET idris-mode RET
This is an Emacs mode for editing Idris code. It requires the latest
version of Idris, and some features may rely on the latest Git version of
Copyright 2016-2021 Free Software Foundation, Inc.
Design provided by Nicolas Petton
This website is licensed under the
CC BY-ND 4.0