Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2014-06-24

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

All times shown according to UTC.

Time Nick Message
02:27 lispy joined #isabelle
07:32 wagle_ joined #isabelle
15:50 dmiles_afk joined #isabelle
17:49 dmiles_afk I need to finnd out how Isabelle did on TPTP  CSR sets
17:51 dmiles_afk and is there a defacto prolog interpreter written in ML?

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