agda

Description:A dependently typed functional programming language and proof assistant
License: MIT
Homepage:https://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.6.1.2 - ~ - - - - - - - - - - ~

USE flags

  • 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

Thank you!