idringen-0.1.0.3: A project manage tool for Idris.
Idringen
newtype Command Source #
Constructors
Fields
newtype CommandArgs Source #
openKeg :: Command -> CommandArgs -> IO () Source #