search

v-nys / cclp

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

Expansion of prior relation is causing a problem in abstract permutation sort program. #2

Closed v-nys closed 8 years ago

v-nys commented 8 years ago

Without the prior relation, we don't have CC, so this is a deal breaker. Expansion of prior pairs clearly does not work as intended.

v-nys commented 8 years ago

The analysis for permutation sort can now be run to completion.