build in depth-k abstraction

v-nys / cclp

A rewrite of my implementation of the Compiling Control technique, in Racket.

MIT License

1 stars 0 forks source link

Closed v-nys closed 6 years ago

v-nys commented 7 years ago

To properly analyze the impact of depth-k abstraction, it should be in the implementation.

v-nys commented 7 years ago

A function for depth-k abstraction is now available.