new feature: rewrite rules#15

Draft

timbeurskens wants to merge 24 commits intomasterfrom rewrite-rules

+429-19

Commits on Feb 22, 2022

update rewriter concept
timbeurskens
committed

Commits on Feb 23, 2022

add peano natural numbers example
timbeurskens
committed

Commits on Feb 24, 2022

update experimental readme
timbeurskens
committed
work on rewriter
Tim Beurskens
committed

Commits on Feb 26, 2022

implement syntax for rule rewriting
timbeurskens
committed
reformat
timbeurskens
committed
work on parse-tree modification for rewrite rules
Tim Beurskens
committed

Commits on Feb 27, 2022

move parameters to object self
Tim Beurskens
committed

Commits on Mar 7, 2022

Commits on Mar 28, 2022

Commits on Apr 5, 2022

Merge branch 'master' into rewrite-rules
timbeurskens
authored

Commits on Apr 16, 2022

Merge branch 'master' into rewrite-rules
timbeurskens
authored

Commits on Jun 20, 2022

Commits on Jul 21, 2022

extend background info for rewrite rules
timbeurskens
committed

Commits on Jul 26, 2022

update description and dependencies
timbeurskens
committed