Skip to content

Rename ptrs to nums & support num delegations

e40bff7
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Treat nums as first-class citizens #153

Rename ptrs to nums & support num delegations
e40bff7
Select commit
Loading
Failed to load commit list.

Annotations

5 warnings
run-tests
succeeded Mar 16, 2026 in 9m 49s