search

eignnx / rellog

0 stars 0 forks source link

Reify to depth N #38

Open eignnx opened 10 months ago

eignnx commented 10 months ago

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
  2. 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