Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2017-04-12

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

All times shown according to UTC.

Time Nick Message
02:02 ertes joined #isabelle
04:20 wagle joined #isabelle
06:55 pruvisto joined #isabelle
07:44 dave24 joined #isabelle
07:59 pruvisto chindy: \longrightarrow is just implication
09:32 silver joined #isabelle
11:13 dave24 is it possible for generated SML code to use existing functions and libraries(Basis in my case)?
11:58 JCaesar Yes, via code printing…
12:01 JCaesar Hm, the Code_Target_Nat theories and similar use code_identifier, but I have no idea what that does…
12:03 dave24 ah ok, thanks
18:12 ertesx joined #isabelle

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