This is super cool. I particularly like how it demonstrates the Church–Rosser theorem (ie confluence).
Wow, ok, that was REALLY satisfying. like bubble wrap for nerds.
This is super cool. I particularly like how it demonstrates the Church–Rosser theorem (ie confluence).
Wow, ok, that was REALLY satisfying. like bubble wrap for nerds.