Sort disjoint sublist: Difference between revisions
m
→{{header|ATS}}
m (→{{header|ATS}}) |
|||
Line 551:
=={{header|ATS}}==
Much of the code here is proofs, unfolding and re-folding of lists, necessary assertions, memory management enforced by the type system, etc. (Some might say I am somewhat lax in my handling of pointers, using the simplest type '''ptr''' instead of more elaborate types.)
<lang ATS>#include "share/atspre_staload.hats"
|