Add a function to enumerate the forms represented by an eclass

quil-lang / cluck

MIT License

7 stars 1 forks source link

Open fstamour opened 3 months ago

fstamour commented 3 months ago

This can in turn be used to enumerate the forms represented by the whole e-graph.

See TODO in src/checks.lisp