agda
Source code
Contents
Index
Main
Description
Wrapper for
Agda.Main
.
Agda is installed as a library. This module is used to build the executable.
Documentation
main
::
IO
()
Source
Produced by
Haddock
version 2.4.2