agda

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.

Modules

Main

Produced by Haddock version 2.4.2