Repository navigation

probe(dr-math): typed DR64 class/method operand binding [1/5] - #1701

Merged

AdaWorldAPI merged 2 commits into

lab/dr-math-0-charter-20261022from

lab/dr-math-1-typed-binding-20261022

Oct 22, 2026

Merged

probe(dr-math): typed DR64 class/method operand binding [1/5]#1701
AdaWorldAPI merged 2 commits into
lab/dr-math-0-charter-20261022from
lab/dr-math-1-typed-binding-20261022

Commits on Oct 22, 2026
- probe(dr-math): typed borrowed DR64 ClassView-style binding refusals
  AdaWorldAPI
  committed
  de677c8
- probe(dr-math): split frame, focus and scope; bind validity with R
  claude
  committed
  ca05b1d