An implementation and definition of the Rust trait system using a PROLOG-like logic solver
Stars
2.0k
Forks
183
Watchers
2.0k
Open Issues
44
Overall repository health assessment
No package.json found
This might not be a Node.js project
1.2k
commits
287
commits
187
commits
163
commits
160
commits
98
commits
82
commits
70
commits
64
commits
58
commits
Merge pull request #830 from ChayimFriedman2/no-panic-fmt
2ab5116View on GitHubDon't panic when formatting without Program
b462990View on GitHub