[01:09:45] *** Joins: spectie (~fran@unaffiliated/spectie) [01:58:32] *** Quits: spectie (~fran@unaffiliated/spectie) (Ping timeout: 244 seconds) [02:19:19] *** Joins: spectie (~fran@unaffiliated/spectie) [05:12:49] *** Joins: FRANK1 (~FRANK@201.243.110.121) [05:13:36] *** Quits: FRANK1 (~FRANK@201.243.110.121) (Read error: Connection reset by peer) [07:11:33] *** Quits: drbean (~drbean@60-248-117-253.HINET-IP.hinet.net) (Ping timeout: 240 seconds) [07:17:21] *** Joins: drbean (~drbean@59-125-82-253.HINET-IP.hinet.net) [08:29:47] *** Quits: spectie (~fran@unaffiliated/spectie) (Ping timeout: 272 seconds) [10:26:25] *** Quits: jmvanel (~jmvanel@213.0.88.79.rev.sfr.net) (Ping timeout: 244 seconds) [10:28:02] *** Joins: spectie (~fran@unaffiliated/spectie) [10:51:05] drbean: hmm, I got a solution that is unambiguous but not really that nice [10:51:26] and I didn't even understand what the original problem was :-P [10:51:44] and for the "boy wearing a red shirt", there is actually already a function in Extra for that [10:51:47] PartVP [10:54:47] *** Quits: spectie (~fran@unaffiliated/spectie) (Ping timeout: 245 seconds) [12:38:35] *** Joins: jmvanel (~jmvanel@37.160.148.194) [13:03:11] *** Joins: spectie (~fran@unaffiliated/spectie) [13:16:03] *** Quits: jmvanel (~jmvanel@37.160.148.194) (Ping timeout: 272 seconds) [13:17:17] *** Quits: spectie (~fran@unaffiliated/spectie) (Ping timeout: 245 seconds) [13:48:25] *** Joins: spectie (~fran@unaffiliated/spectie) [14:42:46] *** Joins: jmvanel (~jmvanel@37.160.148.194) [14:49:26] *** Quits: spectie (~fran@unaffiliated/spectie) (Quit: Leaving) [14:49:56] *** Joins: spectie (~fran@unaffiliated/spectie) [15:08:09] *** Quits: spectie (~fran@unaffiliated/spectie) (Ping timeout: 272 seconds) [15:56:04] Why not nice? Because of dependent types? [15:56:19] no just that so much repetition [16:15:41] *** Joins: spectie (~fran@unaffiliated/spectie) [16:20:25] I didn't see that lib/src/abstract/Extra.gf was the abstract syntax module for which lib/src/english/ExtraEnglish.gf was the concrete syntax module. [16:30:19] Actually, ExtraEngAbs, but that's Extra without ProDrop. [16:30:35] Extra [16:30:37] Extra [16:30:39] Extra [18:38:33] *** Quits: jmvanel (~jmvanel@37.160.148.194) (Ping timeout: 255 seconds) [18:49:29] *** Joins: myoriel (~Myoriel@aftr-88-217-181-17.dynamic.mnet-online.de) [19:22:28] *** Joins: jmvanel (~jmvanel@62.210.35.92) [20:54:33] *** Quits: jmvanel (~jmvanel@62.210.35.92) (Ping timeout: 240 seconds) [23:59:39] *** Quits: myoriel (~Myoriel@aftr-88-217-181-17.dynamic.mnet-online.de) (Ping timeout: 244 seconds)