agda source package in Cosmic
agda: dependently typed functional programming language
agda-bin: commandline interface to Agda
agda-mode: No summary available for agda-mode in ubuntu cosmic.
elpa-agda2-mode: dependently typed functional programming language — emacs mode
libghc-agda-dev: dependently typed functional programming language
libghc-agda-doc: dependently typed functional programming language; documentation
agda information
No published releases of this package have been uploaded in
Ubuntu Cosmic