Agda-executable-2.2.0: Main.hs

-- | Wrapper for "Agda.Main".
--
-- Agda is installed as a library. This module is used to build the
-- executable.

module Main (main) where

import qualified Agda.Main

main = Agda.Main.main