Skip to content

fixup: use ℓ for all type indicies in 1Lab.Path - #657

Open
sapphire-arches wants to merge 1 commit into
the1lab:mainfrom
sapphire-arches:path-clarif
Open

fixup: use ℓ for all type indicies in 1Lab.Path#657
sapphire-arches wants to merge 1 commit into
the1lab:mainfrom
sapphire-arches:path-clarif

Commits

Commits on Sep 8, 2026