Jikka.Core.Convert.Beta

Documentation

run :: (MonadAlpha m, MonadError Error m) => Program -> m Program

run does beta-reduction.

Examples

Before:

(fun x -> x + x) y

After:

y + y

internal rules

rule :: MonadAlpha m => RewriteRule m