-
|
Hi, What motivated the implementation of rational trees, and how do they integrate with the rest of the unification algorithm? |
Beta Was this translation helpful? Give feedback.
Answered by
pmoura
Jan 16, 2026
Replies: 1 comment 1 reply
-
|
Supporting rational trees enables supporting e.g. coinduction. |
Beta Was this translation helpful? Give feedback.
1 reply
-
|
Thanks for the info. Will research this further. |
Beta Was this translation helpful? Give feedback.
Answer selected by
jgarte
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Supporting rational trees enables supporting e.g. coinduction.