DDC.Driver.Command.Check

Checking modules.

cmdCheckFromFile

cmdCheckSourceTetraFromFile

cmdCheckSourceTetraFromString

cmdCheckCoreFromFile

cmdCheckCoreFromString

Checking types.

cmdShowType

cmdTypeEquiv

cmdParseCheckType

Checking expressions.

data Mode n

data ShowSpecMode

cmdShowSpec

cmdExpRecon

cmdParseCheckExp

Checking witnesses.

cmdShowWType