just a preview of something im working on ====> Lambda Calculus Explorer <==== - β-reduction algorithm [not currently added] - Tromp diagram renderer - λ calculus AST generator type ',' for a lambda, '\' for backspace, 'enter' to generate AST ┏━━━━━━━━━━━━━━━━━━━┓ ┃ ┃ ┃ some lambda calculus expressions: ┃ ┃ turing's fixed point combinator: ┃ ┃ λf.(λx.f(xxf)) (λx.f(xxf)) ┃ ┃ ┃ ┃ church numeral 2: ┃ ┃ λf.λn.f (f n) ┃ ┃ ┃ ┃ true / false ┃ ┃ λa.λb.a / λa.λb.b ┃ ┃ ┃ ┗━━━━━━━━━━━━━━━━━━━┛ Inspired by this video: https://scratch.mit.edu/discuss/youtube/RcVA8Nj6HEo/