Sit-0.2021.1.18: test/Main.hs

-- | Test runner for Sit.

module Main where

import Sit       (checkFile)
import Paths_Sit (getDataFileName)

main :: IO ()
main = checkFile =<< getDataFileName "test/Test.agda"