Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2016-05-31

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

All times shown according to UTC.

Time Nick Message
13:36 ski__ joined #isabelle
14:51 chuchucorny joined #isabelle
14:51 chuchucorny hi
14:52 chuchucorny is there a function to parse a string to a nat or int somewhere around?
14:53 larsrh HOL or ML?
14:55 chuchucorny HOL

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