Installion's Lion Logo

Installion.co.uk

How To Install elpa-agda2-mode On Debian 9

To install elpa-agda2-mode just follow these instructions.

Install elpa-agda2-mode

dependently typed functional programming language — emacs modeDebian 9.0editors2.5.1.1-3
sudo apt-get install elpa-agda2-mode

Which will install elpa-agda2-mode and any other packages on which it depends.

Package Data

Packageelpa-agda2-mode
Version2.5.1.1-3
MaintainerDebian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Home pagehttp://wiki.portal.chalmers.se/agda/
Descriptiondependently typed functional programming language — emacs mode
Distrodebian
Releasestretch
Repomain
Sectioneditors

Dependencies