| *** Quits: Lightkey (~Darklock@p200300f69713553022cf30fffe083718.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) | 06:27 | |
| *** Joins: Lightkey (~Darklock@p200300f69713555322cf30fffe083718.dip0.t-ipconnect.de) | 06:40 | |
| *** ChanServ sets mode: +v Lightkey | 06:41 | |
| CcxWrk | klip: Pak pročtu víc, imo potřebujeme dřív vyřešit základnější věci na který se to může hodit. Zatím píšu experimenty s klasickym Datalogem a event-calculus reprezentací a přijde mi že to docela stačí. Eventuelně budu spíš chtít linear logic variantu Datalogu. | 14:51 |
|---|---|---|
Generated by irclog2html.py 2.14.0 by Marius Gedminas - find it at mg.pov.lt!