Reify to depth N
Open
breaking-change
builtin
enhancement
good first issue
- Dominant language
- Rust
- Stars
- 0
- Forks
- 0
- PR merge metrics
- No merged PRs in 30d
Description
Extends #27
I've been finding that for `[TmIn][ReifiedTmOut]` it's kinda unhelpful to reify the entire term, and it would be more useful to either:
1. reify the top layer only, or
1. reify up to depth N but no more.
So something like `[TmIn][ReifiedTmOut][ReificationDepth]` for idea 2, or just change the behavior of the current relation for idea 1.
# Motivating Example
Todo
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.