gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/agda

A dependently typed functional programming language and proof assistant

Screenshots

  • agda-9999
    +cpphs debug emacs enable-cluster-counting +stdlib doc hscolour hoogle profile test

    View      Download      Browse     License: MIT   
    Overlay: haskell (layman)
  • agda-2.5.4
    ~amd64 ~x86
    +cpphs debug emacs enable-cluster-counting +stdlib doc hscolour hoogle profile test

    View      Download      Browse     License: MIT   
    Overlay: haskell (layman)
  • agda-2.5.3-r1
    ~amd64 ~x86
    +cpphs debug emacs enable-cluster-counting +stdlib doc hscolour hoogle profile test

    View      Download      Browse     License: MIT   
    Overlay: haskell (layman)
  • agda-2.5.2-r1
    ~amd64 ~x86
    +cpphs debug uhc +stdlib emacs doc hscolour hoogle profile

    View      Download      Browse     License: MIT   
    Overlay: haskell (layman)
  • agda-2.5.2-r1
    ~amd64 ~x86
    +cpphs debug uhc +stdlib emacs doc hscolour profile

    View      Download      Browse     License: MIT   
    Overlay: gentoo (distro)
  • agda-2.5.2-r1
    ~amd64 ~x86
    +cpphs debug uhc +stdlib emacs doc hscolour profile

    View      Download      Browse     License: MIT   
    Overlay: funtoo (distro)
  • agda-2.5.1.2
    ~amd64 ~x86
    +cpphs uhc +stdlib emacs doc hscolour hoogle profile

    View      Download      Browse     License: MIT   
    Overlay: haskell (layman)
  • agda-2.5.1.1-r1
    ~amd64 ~x86
    +cpphs uhc +stdlib emacs doc hscolour hoogle profile

    View      Download      Browse     License: MIT   
    Overlay: haskell (layman)
  • agda-2.5.1-r4
    ~amd64 ~x86
    +cpphs uhc +stdlib emacs doc hscolour hoogle profile

    View      Download      Browse     License: MIT   
    Overlay: haskell (layman)
  • agda-2.4.2.5-r2
    ~amd64 ~x86
    +cpphs +stdlib emacs doc hscolour hoogle profile

    View      Download      Browse     License: MIT   
    Overlay: haskell (layman)
  • agda-2.4.2.5-r2
    ~amd64 ~x86
    +cpphs +stdlib emacs doc hscolour profile

    View      Download      Browse     License: MIT   
    Overlay: gentoo (distro)
  • agda-2.4.2.5-r2
    ~amd64 ~x86
    +cpphs +stdlib emacs doc hscolour profile

    View      Download      Browse     License: MIT   
    Overlay: funtoo (distro)

USE Flags

+cpphs
* This flag is undocumented *
debug
Global: Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see http://www.gentoo.org/proj/en/qa/backtraces.xml
emacs
Global: Adds support for GNU Emacs
enable-cluster-counting
* This flag is undocumented *
+stdlib
* This flag is undocumented *
doc
Global: Adds extra documentation (API, Javadoc, etc)
hscolour
* This flag is undocumented *
hoogle
* This flag is undocumented *
profile
Global: Adds support for software performance analysis (will likely vary from ebuild to ebuild)
test
Global: Workaround to pull in packages needed to run with FEATURES=test. Portage-2.1.2 handles this internally, so don't set it in make.conf/package.use anymore
uhc
* This flag is undocumented *