Anonymous user
Order two numerical lists: Difference between revisions
Link to explanatory text from talk page.
(Link to explanatory text from talk page.) |
|||
Line 8:
If the first list runs out of elements the result is <code>true</code>.
If the second list or both run out of elements the result is <code>false</code>.
<small>Note: further clarification of lexicographical ordering is expounded on the talk page [[Talk:Order_two_numerical_lists#Lexicographic_order|here]] and [[Talk:Order_two_numerical_lists#Is_the_task_statement_consistent.3F|here]].</small>
=={{header|ACL2}}==
| |||