Move lambda calculus example to tutorials

JuliaSymbolics / Metatheory.jl

Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.

https://juliasymbolics.github.io/Metatheory.jl/dev/

MIT License

355 stars 46 forks source link

Move lambda calculus example to tutorials #216

Closed nmheim closed 3 months ago

nmheim commented 3 months ago

Superseedes #203 as that has tons of merge conflicts and I also rewrote some bits here. Sorry for the additional work 🥴

I also fixed a few docs build errors in here.