agda

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

Legend:

		alpha	amd64	arm	hppa	ia64	m68k	mips	ppc	ppc64	s390	sh	sparc	x86
2.6.1.2		-	~	-	-	-	-	-	-	-	-	-	-	~

cpphs - Use cpphs instead of cpp.
debug - Enable debugging features that may slow Agda down.
doc - Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
emacs - Add support for GNU Emacs
enable-cluster-counting - Enable the --count-clusters flag. (If enable-cluster-counting is False, then the --count-clusters flag triggers an error message.)
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.

Also available in: Atom