[00:59:19] *** Joins: spectie (~fran@c4FCE00C3.dhcp.as2116.net) [00:59:19] *** Quits: spectie (~fran@c4FCE00C3.dhcp.as2116.net) (Changing host) [00:59:19] *** Joins: spectie (~fran@unaffiliated/spectie) [08:35:04] *** Joins: jmvanel (~jmvanel@123.0.88.79.rev.sfr.net) [08:40:49] *** Quits: jmvanel (~jmvanel@123.0.88.79.rev.sfr.net) (Remote host closed the connection) [08:44:14] *** Joins: jmvanel (~jmvanel@123.0.88.79.rev.sfr.net) [09:37:46] *** Quits: spectie (~fran@unaffiliated/spectie) (Ping timeout: 246 seconds) [10:07:22] *** Joins: spectie (~fran@unaffiliated/spectie) [10:09:57] *** Quits: jmvanel (~jmvanel@123.0.88.79.rev.sfr.net) (Ping timeout: 265 seconds) [10:39:31] *** Joins: jmvanel (~jmvanel@78.193.21.40) [10:45:43] *** Quits: spectie (~fran@unaffiliated/spectie) (Ping timeout: 265 seconds) [10:59:01] *** Joins: spectie (~fran@unaffiliated/spectie) [11:40:48] *** Quits: jmvanel (~jmvanel@78.193.21.40) (Ping timeout: 245 seconds) [12:15:28] *** Joins: jmvanel (~jmvanel@host.214.33.23.62.rev.coltfrance.com) [14:07:19] *** Joins: myoriel (~Myoriel@aftr-88-217-181-15.dynamic.mnet-online.de) [14:31:12] *** Quits: myoriel (~Myoriel@aftr-88-217-181-15.dynamic.mnet-online.de) (Ping timeout: 245 seconds) [14:58:12] *** Quits: spectie (~fran@unaffiliated/spectie) (Ping timeout: 240 seconds) [15:21:27] *** Joins: spectie (~fran@unaffiliated/spectie) [15:31:33] *** Joins: chru (~christina@2001:638:504:2099:5018:a88b:f11e:3329) [15:40:55] Hi. I have a question about the predefined Float type. I try to construct a function Float -> X, where lincat X = NP, but I actually fail to build any NP from a Float (such as "0.42", "these 0.42 dollars", or anything else). any idea how I can do this? [16:12:01] *** Quits: spectie (~fran@unaffiliated/spectie) (Ping timeout: 240 seconds) [16:49:43] *** Joins: spectie (~fran@c4FCE00C3.dhcp.as2116.net) [16:49:43] *** Quits: spectie (~fran@c4FCE00C3.dhcp.as2116.net) (Changing host) [16:49:43] *** Joins: spectie (~fran@unaffiliated/spectie) [17:16:13] *** Parts: chru (~christina@2001:638:504:2099:5018:a88b:f11e:3329) () [18:07:16] *** Joins: myoriel (~Myoriel@aftr-88-217-181-15.dynamic.mnet-online.de) [19:15:09] *** Quits: jmvanel (~jmvanel@host.214.33.23.62.rev.coltfrance.com) (Ping timeout: 265 seconds) [20:02:51] *** Quits: myoriel (~Myoriel@aftr-88-217-181-15.dynamic.mnet-online.de) (Ping timeout: 245 seconds) [21:09:04] *** Joins: jmvanel (~jmvanel@123.0.88.79.rev.sfr.net) [21:38:38] *** Quits: jmvanel (~jmvanel@123.0.88.79.rev.sfr.net) (Excess Flood) [21:39:59] *** Joins: jmvanel (~jmvanel@123.0.88.79.rev.sfr.net) [23:06:30] *** Quits: jmvanel (~jmvanel@123.0.88.79.rev.sfr.net) (Read error: No route to host) [23:10:35] *** Joins: jmvanel (~jmvanel@123.0.88.79.rev.sfr.net) [23:59:25] *** Quits: jmvanel (~jmvanel@123.0.88.79.rev.sfr.net) (Read error: Connection reset by peer)