Skip to content

fix: propagate recursive_types_map through build_compound_type/build_types (DeBruijn index bookkeeping)#43

Open
ggreif wants to merge 1 commit into
NatLabs:mainfrom
ggreif:fix/debruijn-recursive-types-map
Open

fix: propagate recursive_types_map through build_compound_type/build_types (DeBruijn index bookkeeping)#43
ggreif wants to merge 1 commit into
NatLabs:mainfrom
ggreif:fix/debruijn-recursive-types-map

Commits

Commits on Apr 14, 2026