agda2lagda-0.2021.6.1: test/Tests.hs

import System.Exit     ( exitWith  )
import System.Process  ( system    )

main :: IO ()
main = exitWith =<< system ("goldplate test")