packages feed

hermit-0.5.0.0: driver/Main.hs

module Main where

import HERMIT.Driver

import System.Environment

main :: IO ()
main = getArgs >>= hermitDriver