Skip to content
This repository was archived by the owner on Aug 4, 2026. It is now read-only.

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