[18:05:52] *** Joins: wmacmil (~wmacmil@83-233-165-97.cust.bredband2.com)
[18:16:01] <wmacmil> where does one find adjectives?
[18:16:01] <wmacmil>    Warning: atomic term A
[18:16:01] <wmacmil>             conflict CatEng.A, DriveEng.A
[18:16:01] <wmacmil>             given C, ConstructorsEng, Prelude, ExtendEng, ConjunctionEng,
[18:16:01] <wmacmil>                   ParadigmsEng, SymbolicEng, SyntaxEng, DriveEng
[18:25:20] <daherb> I guess the adjective category A is defined in CatEng and i suspect CatEng is in turn imported in SyntaxEng
[23:18:28] *** Quits: koo5_ (~quassel@51.140.155.227) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.)
[23:19:27] *** Joins: koo5_ (~quassel@51.140.155.227)
[23:32:16] <inariksit> yes that's correct, all the cats are imported via Syntax