@hackage / Agda-executable

Command-line program for type-checking and compiling Agda programs

Version Deprecated package2.3.0.1

About

Metadata

  • Last updated , by UlfNorell
  • License LicenseRef-OtherLicense

  • Maintained by: Ulf Norell <ulfn@chalmers.se>

  • Lottery factor: 0

Links

Installation

This package has been deprecated in favour of

Readme

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.