Skip to content

Normalise optics when constructing VarName; remove extra constructors#123

Merged
penelopeysm merged 4 commits into
mainfrom
py/composed-assoc
Jul 6, 2025
Merged

Normalise optics when constructing VarName; remove extra constructors#123
penelopeysm merged 4 commits into
mainfrom
py/composed-assoc

Add clarifying comment

7bc83d8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar