-
+RTS -s -RTS
-
--allow-exec
-
--allow-incomplete-matches
-
--allow-unsolved-metas
-
--auto-inline
-
--caching, --no-caching
-
--call-by-name
-
--compile-dir={DIR}
-
--confluence-check, --local-confluence-check
-
--copatterns, --no-copatterns
-
--count-clusters
-
--css={URL}
-
--cubical
-
--cumulativity, --no-cumulativity
-
--dependency-graph={FILE}
-
--double-check
-
--erased-cubical
-
--exact-split, --no-exact-split
-
--experimental-irrelevance
-
--guardedness, --no-guardedness
-
--help[={TOPIC}], -?[{TOPIC}]
-
--html
-
--html-dir={DIR}
-
--html-highlight=[code,all,auto]
-
--ignore-all-interfaces
-
--ignore-interfaces
-
--include-path={DIR}, -i={DIR}
-
--injective-type-constructors
-
--instance-search-depth={N}
-
--interaction
-
--interaction-json
-
--interactive, -I
-
--inversion-max-depth={N}
-
--irrelevant-projections, --no-irrelevant-projections
-
--keep-pattern-variables
-
--latex
-
--latex-dir={DIR}
-
--library-file={FILE}
-
--library={DIR}, -l={LIB}
-
--local-interfaces
|
-
--no-auto-inline
-
--no-default-libraries
-
--no-eta-equality
-
--no-fast-reduce
-
--no-flat-split
-
--no-forcing
-
--no-import-sorts
-
--no-libraries
-
--no-main
-
--no-pattern-matching
-
--no-positivity-check
-
--no-print-pattern-synonyms
-
--no-projection-like
-
--no-syntactic-equality
-
--no-termination-check
-
--no-unicode
-
--omega-in-omega
-
--only-scope-checking
-
--overlapping-instances, --no-overlapping-instances
-
--postfix-projections
-
--print-agda-dir
-
--rewriting
-
--safe
-
--show-implicit
-
--show-irrelevant
-
--sized-types, --no-sized-types
-
--subtyping, --no-subtyping
-
--termination-depth={N}
-
--type-in-type
-
--universe-polymorphism, --no-universe-polymorphism
-
--verbose={N}, -v={N}
-
--version, -V
-
--vim
-
--warning={GROUP|FLAG}, -W {GROUP|FLAG}
-
--with-compiler={PATH}
-
--with-K
-
--without-K
-
-vprofile.definitions:10
-
-vprofile.modules:10
-
-vprofile:7
|