Repository navigation

[WIP] Moving to stdpp - #267

Open

YaZko wants to merge 5 commits into

Open

[WIP] Moving to stdpp#267
YaZko wants to merge 5 commits into
masterfrom
stdpp

Commits on Nov 19, 2025
- Moving to stdpp: first step
  
  YaZko
  authored and
  Lysxia
  committed
  c6c73e3
- porting core defs and equivalence
  
  YaZko
  authored and
  Lysxia
  committed
  189ea4b
- Pain with reduction of bind
  
  YaZko
  authored and
  Lysxia
  committed
  b9286c9
- Progress
  Lysxia
  committed
  a3259c8
- InterpFacts
  Lysxia
  committed
  d4bbb01