agdaSource codeContentsIndex
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