idringen-0.1.0.0: A project manage tool for Idris.

Safe Haskell	None
Language	Haskell2010

Idringen

Documentation

newtype Command Source #

Constructors

Command
Fields unCommand :: String

newtype CommandArgs Source #

Constructors

CommandArgs
Fields unCommandArgs :: [String]

openKeg :: Command -> CommandArgs -> IO () Source #