Skip to content

Make the Derived Path family of types inductive for dynamic derivations#8369

Merged
tomberek merged 1 commit intoNixOS:masterfrom
obsidiansystems:inductive-derived-path
Aug 11, 2023
Merged

Make the Derived Path family of types inductive for dynamic derivations#8369
tomberek merged 1 commit intoNixOS:masterfrom
obsidiansystems:inductive-derived-path

Commits

Commits on Aug 10, 2023