Implement name-based type checker#96
Merged
purefunctor merged 213 commits intorelentless-type-checkingfrom Mar 12, 2026
Merged
Commits
Commits on Feb 17, 2026
Commits on Feb 18, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 19, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 20, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 21, 2026
Commits on Feb 23, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 24, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 25, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 26, 2026
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 27, 2026
Commits on Feb 28, 2026
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Mar 1, 2026
Commits on Mar 2, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Mar 3, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Mar 4, 2026
Commits on Mar 5, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Mar 6, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Mar 7, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Mar 8, 2026
Commits on Mar 10, 2026
Commits on Mar 12, 2026
- committed
- committed
- committed
- committed
- committed