[01:16:46] <inariksit> What is the type of BaseAP (or Base* in ConjunctionXxx in general?)
[01:16:57] <inariksit> Lang> p -cat=AP "big and small and old"
[01:16:58] <inariksit> ConjAP and_Conj (BaseAP (PositA big_A) (ConjAP and_Conj (BaseAP (PositA small_A) (PositA old_A))))
[01:17:41] <inariksit> Then in Conjunction they are formed like this
[01:17:42] <inariksit> BaseAP x y = twoTable2 Bool NForm x y ;
[01:17:58] <inariksit> And in Coordination.gf:
[01:17:59] <inariksit>   twoTable2 : (P,Q : PType) -> (_,_ : {s : P => Q => Str}) -> ListTable2 P Q =
[01:17:59] <inariksit>     \_,_,x,y ->
[01:18:00] <inariksit>     {s1 = x.s ; s2 = y.s} ;
[01:18:08] <inariksit>   ListTable2 : PType -> PType -> Type = \P,Q ->
[01:18:09] <inariksit>     {s1,s2 : P => Q => Str} ;
[01:19:28] <inariksit> Haha nevermind, already typing and copypasting made it clearer :P or maybe I should just sleep
[02:54:36] <inariksit> Most fun part about grammar writing: googling random test sentences and finding some forum topic about cats, and the sentence that matched my query was about someone who fed their cat goat milk and now the cat smokes cigarettes
[02:54:48] <inariksit> "please help, I don't know what to do with a cat"
[02:55:19] <inariksit> ("to do with a cat" was the part that matched my google search, in case you're wondering... :P)
[06:28:01] *** Quits: drbean (~drbean@113.196.171.151) (Ping timeout: 248 seconds)
[06:31:57] *** Joins: drbean (~drbean@113.196.171.151)
[06:33:32] *** Joins: drbean_ (~drbean@113.196.171.151)
[06:36:24] *** Quits: drbean (~drbean@113.196.171.151) (Read error: Operation timed out)
[06:36:24] *** drbean_ is now known as drbean
[06:38:08] *** Joins: jasonli (~apple@121.33.190.184)
[06:43:07] *** Quits: drbean (~drbean@113.196.171.151) (Ping timeout: 264 seconds)
[06:43:58] *** Joins: drbean (~drbean@113.196.171.151)
[10:27:05] *** Joins: jmvanel (~jmvanel@78.193.21.40)
[11:06:48] *** Quits: jasonli (~apple@121.33.190.184) (Ping timeout: 256 seconds)
[11:07:41] *** Joins: jasonli (~apple@121.33.190.184)
[11:16:26] *** Joins: drbean_ (~drbean@113.196.171.151)
[11:17:26] *** Joins: drbean- (~drbean@113.196.171.151)
[11:19:00] *** Quits: drbean (~drbean@113.196.171.151) (Ping timeout: 245 seconds)
[11:20:57] *** Quits: drbean_ (~drbean@113.196.171.151) (Ping timeout: 240 seconds)
[14:16:34] *** drbean- is now known as drbean
[17:42:05] *** Quits: jasonli (~apple@121.33.190.184) (Quit: jasonli)
[17:57:10] *** Joins: jasonli (~apple@121.33.190.184)
[19:40:29] *** Quits: jasonli (~apple@121.33.190.184) (Quit: jasonli)
[19:56:36] *** Quits: jmvanel (~jmvanel@78.193.21.40) (Ping timeout: 245 seconds)
[21:27:04] *** Quits: inariksit (~inari@ksit.fixme.fi) (*.net *.split)
[22:08:31] *** Joins: inariksit (~inari@ksit.fixme.fi)
[22:08:31] *** hitchcock.freenode.net sets mode: +o inariksit