search

v-nys / cclp

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

How suitable is the Racket graph library for the partial ordering? #37

Closed v-nys closed 7 years ago

v-nys commented 7 years ago

Converting to/from S-expressions is a bit of a hassle. There is a good graph library. Preprior is a generating set, but we also need to take into account the additional constraints (some atom either reaches all other atoms (modulo renaming) or it is more specific than one that does).

This would certainly slim down the codebase...