tir: Implement normalisation by evaluation
Open
type-system
- Dominant language
- Rust
- Stars
- 28
- Forks
- 1
- PR merge metrics
- No merged PRs in 30d
Description
Replace current substitution-based evaluation with NbE into some semantic domain.
Steps:
1. Figure out what the semantic domain should be
2. How to represent it? Separate data structure probably..
3. Implement it
Contributor guide
Assessment
This issue has not been assessed yet.