rzk-0.4.1: An experimental proof assistant for synthetic ∞-categories
Safe HaskellSafe-Inferred
LanguageHaskell2010

Rzk.Main

Documentation

data Command Source #

Constructors

Typecheck [FilePath] 
Version 

Instances

Instances details
Generic Command Source # 
Instance details

Defined in Rzk.Main

Associated Types

type Rep Command :: Type -> Type #

Methods

from :: Command -> Rep Command x #

to :: Rep Command x -> Command #

Show Command Source # 
Instance details

Defined in Rzk.Main

ParseRecord Command Source # 
Instance details

Defined in Rzk.Main

type Rep Command Source # 
Instance details

Defined in Rzk.Main

type Rep Command = D1 ('MetaData "Command" "Rzk.Main" "rzk-0.4.1-CLZ0oFCAeujJVraUZWHF0p" 'False) (C1 ('MetaCons "Typecheck" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [FilePath])) :+: C1 ('MetaCons "Version" 'PrefixI 'False) (U1 :: Type -> Type))

main :: IO () Source #