PandocAgda-2.3.3: src/main/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.PandocMain ( main )
import Prelude ( IO )

main :: IO ()
main = Agda.PandocMain.main