EagleoutIce/latex-lambda-calculus-visualizer

Strut rewriting rules so that they have the same heights

Closed this issue 2 years ago · 0 comments

EagleoutIce commented 2 years ago

Strut rewriting rules so that they have the same heights