[00:12:39] *** Joins: sirdancealot (~sirdancea@236.152.broadband3.iol.cz)
[00:16:57] *** Quits: sirdancealot (~sirdancea@236.152.broadband3.iol.cz) (Ping timeout: 240 seconds)
[00:29:34] *** Joins: sirdancealot (~sirdancea@109.107.211.244)
[03:36:42] *** Quits: sirdancealot (~sirdancea@109.107.211.244) (Ping timeout: 268 seconds)
[07:49:25] *** Quits: proteusguy (~proteusgu@183.88.38.108) (Ping timeout: 248 seconds)
[08:25:15] *** Joins: proteusguy (~proteusgu@14.207.10.219)
[09:28:51] *** Joins: sirdancealot (~sirdancea@236.152.broadband3.iol.cz)
[10:03:08] *** Quits: sirdancealot (~sirdancea@236.152.broadband3.iol.cz) (Ping timeout: 260 seconds)
[10:46:22] *** Joins: sirdancealot (~sirdancea@109.107.211.244)
[10:49:43] *** Joins: inariksi1 (~inari@ksit.fixme.fi)
[10:54:44] *** Quits: inariksit (~inari@ksit.fixme.fi) (*.net *.split)
[11:15:24] *** Quits: proteusguy (~proteusgu@14.207.10.219) (Ping timeout: 260 seconds)
[11:17:46] *** inariksi1 is now known as inariksit
[11:43:01] *** Quits: sirdancealot (~sirdancea@109.107.211.244) (Ping timeout: 248 seconds)
[11:52:46] *** Joins: proteusguy (~proteusgu@183.88.68.228)
[12:10:32] *** Joins: proteusguy_satri (~proteusgu@183.88.68.228)
[12:10:42] *** Quits: proteusguy (~proteusgu@183.88.68.228) (Read error: Connection reset by peer)
[14:05:42] <drbean> laurettem mentioned a mkAdv warning. I get lots of these:
[14:06:01] <drbean>   Happened in the renaming of out_of_800
[14:06:03] <drbean>    Warning: atomic term mkAdv
[14:06:05] <drbean>             conflict ConstructX.mkAdv, ParadigmsEng.mkAdv, ConstructorsEng.mkAdv
[14:06:07] <drbean>             given R, ResEng, Prelude, ConstructX, ExtraEng, IrregEng,
[14:06:09] <drbean>                   StructuralEng, ParadigmsEng, ConstructorsEng, CommonX, CatEng,
[14:06:11] <drbean>                   ConjunctionEng, CommonX, CatEng, MyConcrete, EspnEng
[14:07:51] <drbean> I've never gotten around to doing something about them.
[14:18:35] <inariksit> you can just import SyntaxEng as S and use S.mkAdv
[14:18:48] <inariksit> or even open SyntaxEng, (S=SyntaxEng), ...
[14:19:07] <inariksit> and not qualify all the other SyntaxEng functions, but for mkAdv use S.mkAdv
[16:22:46] *** Joins: drbean_ (~drbean@124.219.83.41)
[16:24:30] *** Quits: drbean (~drbean@124.219.83.41) (Ping timeout: 250 seconds)
[16:24:53] *** Joins: drbean (~drbean@124.219.82.42)
[16:27:32] *** Quits: drbean_ (~drbean@124.219.83.41) (Ping timeout: 250 seconds)
[16:41:17] *** Joins: annaaerinteenbot (~annaaerin@cse-principia.cse.chalmers.se)
[21:53:59] *** Joins: sirdancealot (~sirdancea@236.152.broadband3.iol.cz)