scvalex/landler — Issue #1: Correct cycle-detection
Author: scvalex
Created: 2011-11-25 01:32:26+00:00
State: open

We added basic cycle-detection as part of 5d1cbca7e3. As the commit comment mentions, it doesn't always work; this should be fixed.

Ultimately, what we want is to compare terms level-by-level and substitute variable names in one of the two terms. Unfortunately, the substitution logic is above the parser (and the `Term` instances).