Hello,
but to specify that “this function turns a list into its sorted equivalent”
would probably require to specify e.g. sort in terms of the type system and
to write code that actually does the sorting. The first task is much like
specifying what a sorted list is in first-order-logic (much
Am Freitag, 20. Februar 2009 09:42 schrieben Sie:
Hello,
but to specify that “this function turns a list into its sorted equivalent”
would probably require to specify e.g. sort in terms of the type system
and to write code that actually does the sorting. The first task is much
like