path: root/nixos/tests/agda/files/TrivialBackend.hs

module Main where

import Agda.Main ( runAgda )

main :: IO ()
main = runAgda []