Gentoo-Portage - sci-mathematics/agda

Login Register Language Tools

Newest News GLSAs Search Browse USE Flags More...

sci-mathematics/agda

Agda is a proof assistant in Haskell.

Screenshots

http://unit.aist.go.jp/cvs/Agda/

agda-1.0.2-r1

~x86

doc emacs
View Download License: MIT
agda-1.0.2

~x86

doc emacs
View Download License: MIT

Comments ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

USE Flags

doc

Global: Adds extra documentation (API, Javadoc, etc)

emacs

Global: Adds support for GNU Emacs