Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2017-04-13

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

All times shown according to UTC.

Time Nick Message
01:48 ilbot3 joined #isabelle
01:48 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/
07:44 dave24 joined #isabelle
14:36 dave24 how can I get the code generator to use SML word literals like 0wx01, and I'm trying to use code_printing but can't get it to transform "8 word" to "Word8.word".
14:41 pruvisto dave24: I doubt anyone in this channel can answer that question
14:41 pruvisto that's something for the isabelle-users mailing list
14:42 dave24 ah. ok, thanks.
14:44 pruvisto chuchuco1ny might know something about it
15:03 mal``` joined #isabelle
15:06 chindy_ joined #isabelle
15:06 int-e_ joined #isabelle
15:54 chuchuco1ny dave24: in the afp, there is the native word entry. I havn't actually treid it but it seems promising
15:55 chuchuco1ny wait, I'm using it (partly) and I don't remember? Maybe it was that painless :D
16:12 dave24 chuchuco1ny: Thanks, I got that to partly work.
18:12 ertesx joined #isabelle
19:33 mbrcknl joined #isabelle
21:26 chindy joined #isabelle

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