packages feed

zot-0.0.1: src/zot.hs

module Main where

import qualified Zot
import qualified LambdaToSki
import qualified SkiToLambda
import qualified SkiToZot
import qualified ZotToSki
import qualified AddEcho

import System.Environment ( getArgs )
import Data.List ( isSuffixOf )

main :: IO ()
main = do
	cmd : args <- getArgs
	case cmd of
		"-"					-> Zot.main
		"lambdaToSki"				-> LambdaToSki.main
		"skiToLambda"				-> SkiToLambda.main args
		"skiToZot"				-> SkiToZot.main
		"zotToSki"				-> ZotToSki.main
		"arg"					-> AddEcho.main args
		_	| ".zot" `isSuffixOf` cmd	-> Zot.mainFile cmd