EagleoutIce/latex-lambda-calculus-visualizer

Consistent Spacing for Rewriting rules (inner)

Closed this issue 2 years ago · 0 comments

EagleoutIce commented 2 years ago

Consistent Spacing for Rewriting rules (inner)