racket / redex

Other
93 stars 36 forks source link

Correctly Sort Productions to Avoid Infinite Loop in Enum #187

Closed maxsnew closed 5 years ago

maxsnew commented 5 years ago

Addresses #186 . Thought the problem was harder than it is. A simple spanning-tree like algorithm does the trick. Also detects some unsolveable cases that I'm not sure were handled correctly before.