@abuseofnotation
Yes, having spent a painful afternoon revising my approach, I guess so. I'll do an acl2 mutual-recursion like yours later.
The series version I experimented with today: https://codeberg.org/tfw/lineage-tracing/src/branch/master/lineage-tracing.lisp
lineage tracing, #programming #commonLisp #series
@jeremy_list @me
lineage-tracing/lineage-tracing.lisp at master
lineage-tracing - Common lisp breadth first lineage…
Forgejo: Beyond coding. We Forge.