agda

Description:A dependently typed functional programming language and proof assistant
License: MIT
Homepage:http://wiki.portal.chalmers.se/agda/
Location:Portage
Legend:
  • + - stable
  • ~ - unstable
  • M - hardmask
alpha amd64 arm hppa ia64 m68k mips ppc ppc64 s390 sh sparc x86
2.5.2-r1 diff - ~ - - - - - - - - - - ~
2.4.2.5-r2 - ~ - - - - - - - - - - ~

USE flags

  • 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

Thank you!