- Name: Agda
- Version: 2.3.0.1
- Release: 1.fc16
- Epoch:
- Group: Unspecified
- License: MIT
- Url: http://hackage.haskell.org/package/Agda-executable
- Summary: Dependently typed programming language command-line
- Architecture: x86_64
- Size: 3241
- Distribution: Fedora Project
- Vendor: Fedora Project
- Packager: Fedora Project
Description:
This package provides a command-line program for type-checking and
compiling Agda programs. The program can also generate hyperlinked,
highlighted HTML files from Agda sources.
For the interactive environment please install emacs-agda instead.
- BuildArch:
- ExcludeArch:
- ExclusiveArch: i386, i486, i586, i686, pentium3, pentium4, athlon, geode, x86_64, ppc, sparcv9
- Cookie: buildvm-12.phx2.fedoraproject.org 1342338943
- Buildhost: buildvm-12.phx2.fedoraproject.org
Generated packages:
Other version of this rpm: