Information about "elpa-agda2-mode"
elpa-agda2-mode
dependently typed functional programming language — emacs mode
2.6.4.3-1
editors
Debian Haskell Group <[email protected]>
pool/main/a/agda/elpa-agda2-mode_2.6.4.3-1_all.deb
| Depends Packages |
|---|
| agda-bin |
| agda-bin |
| libghc-agda-dev |
| libghc-agda-dev |
| dh-elpa-helper |
| emacsen-common |
