Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2017-01-15

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

All times shown according to UTC.

Time Nick Message
02:47 ilbot3 joined #isabelle
02: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/
05:51 AtnNn thanks
10:26 ThreeOfEight AtnNn: You can do something like this: http://downthetypehole.de/paste/B6wDbftK
10:26 ThreeOfEight but as you see, you have to prove some stuff before the definition goes through
10:27 ThreeOfEight and you don't have executability anymore (i.e. "value" don't work out of the box; you'd have to prove code equations yourself)
10:27 ThreeOfEight so it's probably not worth the effort in this case
11:24 silver joined #isabelle
18:13 AtnNn Thanks, I'll play around with that. I ended up using `if' yesterday.
18:54 larsrh joined #isabelle

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