Agda-2.2.6: A dependently typed functional programming language and proof assistant
Function for generating highlighted, hyperlinked HTML from Agda
generateHTML :: ModuleName -> TCM ()Source
Generates HTML files from all the sources which the given module
depends on (including the module itself).
This function should only be called after type checking has
Produced by Haddock version 2.8.1