RosettaCodeData/Task/Order-two-numerical-lists/Klingphix/order-two-numerical-lists.klingphix

include ..\Utilitys.tlhy

( 1 2 3 ) ( 1 2 3 4 ) less ?
( 1 2 3 4 ) ( 1 2 3 ) less ?
( 1 2 4 ) ( 1 2 3 ) less ?
( 1 2 3 ) ( 1 2 3 ) less ?
( 1 2 3 ) ( 1 2 4 ) less ?

"End " input