» Ubuntu » Packages » resolute » misc » agda

[ jammy ] [ noble ] [ plucky ] [ questing ] [ resolute ]

[ Source: agda ]

Package: agda (2.6.4.3-1build1) [universe]

Links for agda

Ubuntu Resources:

Download Source Package agda:

Maintainer:

Ubuntu MOTU Developers (Mail Archive)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

Debian Haskell Group (Mail Archive)

It should generally not be necessary for users to contact the original maintainer.

External Resources:

Homepage [wiki.portal.chalmers.se]

Similar packages:

dependently typed functional programming language

Other Packages Related to agda

depends

recommends

suggests

enhances

dep: agda-bin

commandline interface to Agda
dep: agda-stdlib

standard library for Agda
dep: agda-stdlib-doc

standard library for Agda — documentation
dep: elpa-agda2-mode

dependently typed functional programming language — emacs mode
dep: libghc-agda-dev

dependently typed functional programming language

Download agda

Download for all available architectures
Architecture	Package Size	Installed Size	Files
all	3.7 kB	11.0 kB	[list of files]