[LOGIC-82] conso and seq, when unifying tail later Created: 20/Dec/12 Updated: 28/Jul/13 Resolved: 20/Dec/12
|Reporter:||Nada Amin||Assignee:||David Nolen|
These two snippets should both succeed, but the second one fails.
|Comment by David Nolen [ 20/Dec/12 11:50 PM ]|
It boggles the mind how this is just being discovered