- Name: Agda
- Version: 2.3.0.1
- Release: 4.fc18
- Epoch:
- Group: Unspecified
- License: MIT
- Url: http://hackage.haskell.org/package/Agda-executable
- Summary: Command-line program for type-checking and compiling Agda programs
- Architecture: x86_64
- Size: 3511
- 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:
- Cookie: buildvm-07.phx2.fedoraproject.org 1355380004
- Buildhost: buildvm-07.phx2.fedoraproject.org
Generated packages:
Other version of this rpm: