| |||||
| |||||
Description | |||||
Function for generating highlighted, hyperlinked HTML from Agda sources. | |||||
Synopsis | |||||
| |||||
Documentation | |||||
| |||||
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 completed successfully. | |||||
Produced by Haddock version 2.4.2 |