Agda-2.3.0: A dependently typed functional programming language and proof assistant
Agda.Compiler.Epic.CaseOpts
Description
Perform simple optimisations based on case-laws
Synopsis
caseOpts :: [Fun] -> Compile TCM [Fun]
caseOptsExpr :: Expr -> Compile TCM Expr
Run the case-opts on an expression