Complete unification procedure
Open
type-system
- Dominant language
- Rust
- Stars
- 28
- Forks
- 1
- PR merge metrics
- No merged PRs in 30d
Description
Currently, the unification algorithm is incomplete. This should be completed, by weak head normalisation. This requires some changes to the normalisation algorithm to not "simplify too deep"
Contributor guide
Assessment
This issue has not been assessed yet.