Skip to content

handle free variables correctly#58

Merged
ljedrz merged 7 commits intoljedrz:masterfrom
hiratara:naming-context
Sep 16, 2025
Merged

handle free variables correctly#58
ljedrz merged 7 commits intoljedrz:masterfrom
hiratara:naming-context

Commits

Commits on Sep 10, 2025

Commits on Sep 11, 2025