Order two numerical lists: Difference between revisions
Content added Content deleted
(Link to explanatory text from talk page.) |
|||
Line 8: | Line 8: | ||
If the first list runs out of elements the result is <code>true</code>. |
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>. |
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}}== |
=={{header|ACL2}}== |