aboutsummaryrefslogtreecommitdiffstats
path: root/app/Main.hs
blob: 39f74aa3ff4151b4d414045d694154f1116d2c91 (plain)
1
2
3
4
5
6
module Main where

import           VeriSmith

main :: IO ()
main = defaultMain