agda
Contents
Index
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