module Main where

import Agda.Main ( runAgda )

main :: IO ()
main = runAgda []