Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2016-06-05

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
01:47 ilbot3 joined #isabelle
01:47 Topic for #isabelle is now Official channel for the Isabelle/HOL theorem prover: http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html || Now with logging: http://irclog.perlgeek.de/isabelle/
08:38 silver joined #isabelle
12:23 fracting joined #isabelle
15:29 ThreeOfEight JCaesar: ah, yes, I should have read your question more carefully
15:29 ThreeOfEight I don't think there's anything in the distribution like this and a quick search turned up nothing either
15:30 ThreeOfEight However, there is quicksort_by_rel and mergesort_by_rel in Automatic_Refinement/Lib/Misc.thy in the AFP
15:31 ThreeOfEight guess we should move some of that to the distribution at some point
15:51 JCaesar For now, I'll go with the "special type for sorting pairs" thing…
19:09 larsrh joined #isabelle
19:29 tautologico joined #isabelle
19:32 fracting joined #isabelle

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | summary