elpa-agda2-mode - dependently typed functional programming language — emacs mode

Property Value
Distribution Ubuntu 18.04 LTS (Bionic Beaver)
Repository Ubuntu Universe amd64
Package name elpa-agda2-mode
Package version 2.5.3
Package release 3build1
Package architecture all
Package type deb
Installed size 204 B
Download size 39.89 KB
Official Mirror archive.ubuntu.com
Agda is a dependently typed functional programming language: It has inductive
families, which are like Haskell's GADTs, but they can be indexed by values and
not just types. It also has parameterised modules, mixfix operators, Unicode
characters, and an interactive Emacs interface (the type checker can assist in
the development of your code).
Agda is also a proof assistant: It is an interactive system for writing and
checking proofs. Agda is based on intuitionistic type theory, a foundational
system for constructive mathematics developed by the Swedish logician Per
Martin-Löf. It has many similarities with other proof assistants based on
dependent types, such as Coq, Epigram and NuPRL.
This package contains the emacs interactive development mode for Agda. This
mode is the preferred way to write Agda code, and offers features such as
iterative development, refinement, case analysis and so on.


Package Version Architecture Repository
elpa-agda2-mode_2.5.3-3build1_all.deb 2.5.3 all Ubuntu Universe
elpa-agda2-mode - - -


Name Value
agda-bin >= 2.5.3-3build1
agda-bin << 2.5.3-3build1.1~
emacsen-common -
libghc-agda-dev << 2.5.3-3build1.1~
libghc-agda-dev >= 2.5.3-3build1


Name Value
agda-mode -


Type URL
Binary Package elpa-agda2-mode_2.5.3-3build1_all.deb
Source Package agda

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install elpa-agda2-mode deb package:
    # sudo apt-get install elpa-agda2-mode




See agda_2.5.3-3build1_all.deb changelog.

See Also

Package Description
elpa-aggressive-indent_1.9.0-1_all.deb Emacs minor mode that reindents code after every change
elpa-anzu_0.62-1_all.deb show number of matches in mode-line while searching
elpa-apiwrap_0.4-1_all.deb api-wrapping macros
elpa-assess_0.4-1_all.deb test support functions for Emacs
elpa-async_1.9.2-1_all.deb simple library for asynchronous processing in Emacs
elpa-auto-complete_1.5.1-0.1_all.deb intelligent auto-completion extension for GNU Emacs
elpa-avy-menu_0.1.1-1_all.deb library providing avy-powered popup menu
elpa-avy_0.4.0-2_all.deb jump to things in Emacs tree-style
elpa-beacon_1.3.3-1_all.deb highlight the cursor whenever the window scrolls
elpa-beginend_2.0.0-2_all.deb redefine M-< and M-> for some modes to get to meaningful locations
elpa-bind-key_1.0+repack-1_all.deb simple way to manage personal keybindings
elpa-bind-map_1.1.1-1_all.deb bind personal keymaps in multiple locations
elpa-browse-kill-ring_2.0.0-1_all.deb interactively insert items from kill-ring
elpa-bug-hunter_1.3.1+repack-1_all.deb automatically debug and bisect your init.el or .emacs file
elpa-buttercup_1.9-1_all.deb behaviour-driven testing for Emacs Lisp packages