-
Notifications
You must be signed in to change notification settings - Fork 0
Reify to depth N #38
Copy link
Copy link
Open
Labels
breaking-changeIf implemented, this would break existing Rellog codeIf implemented, this would break existing Rellog codebuiltinAdds/modifies a builtin relationAdds/modifies a builtin relationenhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomers
Description
Metadata
Metadata
Assignees
Labels
breaking-changeIf implemented, this would break existing Rellog codeIf implemented, this would break existing Rellog codebuiltinAdds/modifies a builtin relationAdds/modifies a builtin relationenhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomers
Projects
Status
Todo
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:So something like
[TmIn][ReifiedTmOut][ReificationDepth]for idea 2, or just change the behavior of the current relation for idea 1.Motivating Example
Todo