[isabelle] Code generation for reverse sorting



Dear all,

for those of you who do not regularly check stackoverflow but might have
an answer to my question there (yes I am looking at you Florian ;) ) I'm
brazenly posting the link to my question here

  http://stackoverflow.com/q/32926842/476803

In short, my question is: What is the easiest way to generate code for a
sorting algorithm that sorts its argument in reverse order, while
building on top of the existing List.sort?

cheers

chris




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.