Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2017-05-22

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

All times shown according to UTC.

Time Nick Message
01:54 ilbot3 joined #isabelle
01:54 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/
04:59 keep_learning joined #isabelle
12:47 int-e JCaesar: yes, coredumpctl gdb is cute, but  gdb /path/to/executable core  isn't that much worse and then at least I know how to delete the core dump afterwards
17:11 int-e I think I want to have a fixity between 1000 and 999
17:13 int-e (which are the two priorities assigned to the function application production, mixfix ("(1_/ _)", [1000, 1000], 999))
17:28 int-e http://downthetypehole.de/paste/CefHoLJG <-- this is what I'm trying (in HOL, actually, but HOL fails with the experimental modification to pure_thy.ML. The real ` is a prefix notation for the application operator in combinatory logic, inspired by Unlambda.)
17:33 int-e (But somehow I don't think that there's any point in bothering the mailing list with this. :-P)
21:57 ertes joined #isabelle

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