agda

Description:	A dependently typed functional programming language and proof assistant
License:	MIT
Homepage:	http://wiki.portal.chalmers.se/agda/
Location:	Portage

Legend:

		alpha	amd64	arm	hppa	ia64	m68k	mips	ppc	ppc64	s390	sh	sparc	x86
2.5.2-r1	diff	-	~	-	-	-	-	-	-	-	-	-	-	~
2.4.2.5-r2		-	~	-	-	-	-	-	-	-	-	-	-	~

cpphs - Use cpphs instead of cpp.
debug - Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see https://wiki.gentoo.org/wiki/Project:Quality_Assurance/Backtraces
doc - Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
emacs - Add support for GNU Emacs
hscolour - Include coloured haskell sources to generated documentation (dev-haskell/hscolour)
profile - Add support for software performance analysis (will likely vary from ebuild to ebuild)
stdlib - Install the standard library.
uhc - Add support for the uhc backend.

Also available in: Atom