agdaContentsIndex
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