Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-03-10

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

All times shown according to UTC.

Time Nick Message
00:50 xstill joined #divine
02:48 ilbot3 joined #divine
02:48 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
13:41 xstill mornfall: měl bys čas si přešíst https://paradise.fi.muni.cz/~xstill/tmp/pres.pdf ?
13:41 xstill (na pátek)
19:15 mornfall xstill: jo na pátek zítra?
19:15 mornfall jsem si říkal že to je nějaký divný ale teď mi to nějak docvaklo :-)
19:22 mornfall reduction strategies zní trochu jako normal/strict/lazy/... :)
19:36 mornfall a je to uppaal ne uppall
21:54 xstill mornfall: jo zítra
22:18 xstill na příští týden snad udělám o víkendu

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