elpa-agda2-mode
dependently typed functional programming language — emacs mode
Binary packages in oldstable
| Architecture | Version | Section | Installed size |
|---|---|---|---|
| all | 2.6.2.2-1.1 | editors | 208 kB |
Description
dependently typed functional programming language — emacs mode
Dependencies all
- Depends
- agda-bin (<< 2.6.2.2-1.1.1~), agda-bin (>= 2.6.2.2-1.1), libghc-agda-dev (<< 2.6.2.2-1.1.1~), libghc-agda-dev (>= 2.6.2.2-1.1), dh-elpa-helper, emacsen-common
- Recommends
- emacs (>= 46.0)
Source package
- Name
- agda
- Version
- 2.6.2.2-1.1
- Maintainer
- Debian Haskell Group
- Homepage
- https://wiki.portal.chalmers.se/agda/
- Repository
- https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/agda
Bugs (0 open)
No matching bugs recorded in this snapshot.