Lambda MicroEgg
github
Demo:
Basic rewriting
Beta reduction
Miller matching
Summation binders
Summation identities
Substitution
Haskell fusion
Run