Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-01-07

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

All times shown according to UTC.

Time Nick Message
02:47 ilbot3 joined #divine
02:47 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
13:18 mornfall joined #divine
18:12 ilbot3 joined #divine
18:12 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
19:27 mornfall hm, když už máme ten fašismus, tak jsem zavedl namespace divine::ss (jako statespace)
19:51 xstill my ten divine 4 nepoznáme co?
19:59 xstill mornfall: co jsi vlastně říkal na to conclusion? po obsahové stránce teď myslím
20:03 mornfall asi celkem bez výhrad
20:04 xstill ok, dík
23:09 spito mornfall: poslal bys mi bibtex na posix normu? ;) ;)

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