search

v-nys / cclp

A rewrite of my implementation of the Compiling Control technique, in Racket.
MIT License
1 stars 0 forks source link

allow user to inspect genealogical / generational trees #13

Closed v-nys closed 8 years ago

v-nys commented 8 years ago

This is a precursor to the fully automatic multi abstraction. A good first step would be an option to display the genealogical tree for the current branch.

v-nys commented 8 years ago

This raises two questions:

  1. How to extract the currently active branch as a list of resolution-info (pretty easy)
  2. How to omit the explicit target atom (more challenging)