Repository navigation

Optimize vec<T> for ToProxy - #20

Merged

chenyan2002 merged 2 commits into

mainfrom

Oct 5, 2026

Merged

Optimize vec<T> for ToProxy#20
chenyan2002 merged 2 commits into
mainfrom
specialization

Commits on Oct 4, 2026
- add vec_to_proxy(v: Vec<Self>) -> Vec<Self::Output> to handle the innermost vec
  chenyan2002
  committed
  b5efff0
Commits on Oct 5, 2026
- leinbiz equality
  chenyan2002
  committed
  27b4fce