name: Agda-executable version: 2.2.0 cabal-version: >= 1.4 && < 2 build-type: Simple license: OtherLicense license-file: LICENSE author: Ulf Norell, Catarina Coquand, Makoto Takeyama, Nils Anders Danielsson, Andreas Abel, ... maintainer: Ulf Norell homepage: http://wiki.portal.chalmers.se/agda/ bug-reports: http://code.google.com/p/agda/issues/list category: Dependent types synopsis: Command-line program for type-checking and compiling Agda programs 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. tested-with: GHC == 6.8.3 && == 6.10.1 executable agda main-is: Main.hs build-depends: Agda == 2.2.0, base