Loreon
Labs
Platform
Docs
Home
Ecosystems
Other
RustTyC
An interface for writing a RustTypeChecker.
Other
Emerging
GitHub
Website
Stars
—
Forks
—
Contributors
1
Last push
40mo ago
Recent commits
Latest commits.
`impl [De]Serialize for TcKey`
c346ed2
Árpád Goretity
43mo ago
More code cleanup and remove an allocation in `ConstraintGraph::fill_with`
2355418
Árpád Goretity
44mo ago
Make `Arity::to_opt()` public, as it is useful for implementing `Variant::meet()`
29f3c65
Árpád Goretity
44mo ago
`impl Display + Error for TcErr`
1d94a44
Árpád Goretity
44mo ago
Further stylistic and performance improvements
e94e183
Árpád Goretity
44mo ago
Pass context to `Constructable::construct()`
ee9e1b4
Árpád Goretity
44mo ago
Pass mutable reference to `Context` because we can
e6df4bc
Árpád Goretity
44mo ago
Remove a superfluous allocation; use `Iterator::try_fold()` where aproppriate
86fb195
Árpád Goretity
44mo ago
Top contributors
Builders behind this project.
Schwenger
99 commits