[00:14:11] *** Quits: koo7 (~kook@210.14.broadband15.iol.cz) (Ping timeout: 248 seconds)
[00:15:40] *** Joins: Gurkenglas_ (Gurkenglas@dslb-188-106-113-006.188.106.pools.vodafone-ip.de)
[03:39:27] *** Quits: Gurkenglas_ (Gurkenglas@dslb-188-106-113-006.188.106.pools.vodafone-ip.de) (Ping timeout: 264 seconds)
[05:05:48] *** Joins: drbean (~drbean@124.219.82.96)
[05:07:16] <drbean> Frustrating. or_Conj, & and_Conj both defined in StructuralEng, but only or_Conj is available, despite both appearing in the RGL.
[05:07:36] *** Quits: drbean (~drbean@124.219.82.96) (Client Quit)
[05:08:29] *** Joins: drbean (~drbean@124.219.83.143)
[05:11:39] *** Joins: drbean_ (~drbean@124.219.82.169)
[05:13:37] *** Quits: drbean (~drbean@124.219.83.143) (Ping timeout: 252 seconds)
[05:13:44] *** Joins: drbean- (~drbean@124.219.83.127)
[05:13:44] <drbean-> 1 msec
[05:13:44] <drbean-> >
[05:14:03] *** Quits: drbean- (~drbean@124.219.83.127) (Remote host closed the connection)
[05:17:07] *** Quits: drbean_ (~drbean@124.219.82.169) (Ping timeout: 244 seconds)
[05:25:03] *** Joins: drbean (~drbean@124.219.82.185)
[05:25:27] <drbean> Wait. I didn't have it in my abstract syntax.
[05:25:39] *** Quits: drbean (~drbean@124.219.82.185) (Client Quit)
[07:01:09] *** Joins: koo7 (~kook@210.14.broadband15.iol.cz)
[09:22:03] *** Quits: koo7 (~kook@210.14.broadband15.iol.cz) (Ping timeout: 240 seconds)
[11:19:03] *** Joins: koo7 (~kook@210.14.broadband15.iol.cz)
[12:07:46] <vin-ivar> how do I implement functions from Backward.gf?
[12:10:37] *** Joins: Gurkenglas_ (Gurkenglas@dslb-188-106-113-006.188.106.pools.vodafone-ip.de)
[12:40:27] *** Quits: Gurkenglas_ (Gurkenglas@dslb-188-106-113-006.188.106.pools.vodafone-ip.de) (Ping timeout: 246 seconds)
[12:55:13] *** Joins: Gurkenglas_ (Gurkenglas@dslb-188-106-113-006.188.106.pools.vodafone-ip.de)
[13:57:58] *** Quits: koo7 (~kook@210.14.broadband15.iol.cz) (Ping timeout: 244 seconds)
[14:06:35] *** Joins: koo7 (~kook@210.14.broadband15.iol.cz)
[22:02:04] *** Quits: koo7 (~kook@210.14.broadband15.iol.cz) (Ping timeout: 244 seconds)
[22:34:03] *** Quits: Gurkenglas_ (Gurkenglas@dslb-188-106-113-006.188.106.pools.vodafone-ip.de) (Ping timeout: 246 seconds)
[23:51:26] *** Joins: Gurkenglas_ (Gurkenglas@dslb-188-106-113-006.188.106.pools.vodafone-ip.de)