Documentation

std :: GlobalEnv #

parseExample :: String -> Expr #

evalExample :: String -> Val #

traceExample :: String -> Proof EvalJ #

traceExpr :: Expr -> Proof EvalJ #