agda source package in Yakkety
agda: dependently typed functional programming language
agda-bin: commandline interface to Agda
agda-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 Yakkety