Repository navigation

feat: parametric cast function + cast insertion in taclet application - #21

Merged

Drodt merged 5 commits into

Jun 17, 2026

Merged

feat: parametric cast function + cast insertion in taclet application#21
Drodt merged 5 commits into
rusty-devfrom
rusty-casts

Commits on Jun 16, 2026
- feat: parametric cast function + cast insertion in taclet application
  unp1
  committed
  ed029c9
Commits on Jun 17, 2026
- Remove PR template
  Drodt
  committed
  7427d24
- Simplify list operation
  Drodt
  committed
  8ccce14
- Remove incorrect cast rule
  Drodt
  committed
  4d27a10
- Fix loop type computation
  Drodt
  committed
  fd3e4a5