Add Type Checking in Forward Mode#808

Merged

sunxd3 merged 21 commits intomainfrom

sunxd/forward_type_check

Dec 2, 2025

Commits on Oct 17, 2025

Commits on Oct 20, 2025

Commits on Nov 2, 2025

Commits on Nov 21, 2025

Commits on Nov 26, 2025

Merge branch 'main' into sunxd/forward_type_check
sunxd3
authored

Commits on Dec 1, 2025