[WIP] Moving to stdpp#267

Open

YaZko wants to merge 5 commits into

Commits on Nov 19, 2025

Moving to stdpp: first step

YaZko
authored and
Lysxia
committed
porting core defs and equivalence

YaZko
authored and
Lysxia
committed
Pain with reduction of bind

YaZko
authored and
Lysxia
committed
Progress
Lysxia
committed
InterpFacts
Lysxia
committed