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

Reverse Dependencies

Reverse dependancies are sometimes conditional based on your USE flags, Ebuild version and sometimes other packages. please keep this in mind.