Newest at the top
| 2026-02-14 19:36:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-14 19:36:36 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-02-14 19:30:02 +0100 | tromp | (~textual@2001:1c00:3487:1b00:49b4:8838:6b5e:2a21) |
| 2026-02-14 19:26:09 +0100 | tromp | (~textual@2001:1c00:3487:1b00:701a:bd9c:28fd:d022) (Ping timeout: 245 seconds) |
| 2026-02-14 19:25:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-02-14 19:22:37 +0100 | caubert | (~caubert@user/caubert) caubert |
| 2026-02-14 19:20:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-14 19:10:48 +0100 | mulk | (~mulk@p5b2dcbcc.dip0.t-ipconnect.de) mulk |
| 2026-02-14 19:10:13 +0100 | mulk | (~mulk@pd95140e6.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2026-02-14 19:09:15 +0100 | caubert | (~caubert@user/caubert) (Ping timeout: 265 seconds) |
| 2026-02-14 19:08:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-02-14 19:03:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-14 18:57:29 +0100 | <monochrom> | I am too lazy to import that. I use "3/2 :: Rational". :) |
| 2026-02-14 18:56:56 +0100 | <fgarcia> | would import Data.Ratio work? then 3 % 2 |
| 2026-02-14 18:54:21 +0100 | <monochrom> | Actually put it this way: polymorphic over fields, ideally. (Pun!) |
| 2026-02-14 18:53:23 +0100 | <monochrom> | I want 3/2 to be rational, or polymorphic over fields. |
| 2026-02-14 18:51:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-14 18:47:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-14 18:43:12 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: bbl) |
| 2026-02-14 18:41:22 +0100 | spew | (~spew@user/spew) spew |
| 2026-02-14 18:41:05 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-02-14 18:33:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-02-14 18:31:42 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-14 18:28:09 +0100 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2026-02-14 18:27:37 +0100 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 250 seconds) |
| 2026-02-14 18:27:11 +0100 | Fijxu | (~Fijxu@user/fijxu) (Ping timeout: 250 seconds) |
| 2026-02-14 18:26:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-14 18:25:16 +0100 | Fijxu_ | (~Fijxu@user/fijxu) fijxu |
| 2026-02-14 18:24:46 +0100 | sa | (sid1055@id-1055.tinside.irccloud.com) sa |
| 2026-02-14 18:22:41 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-02-14 18:22:27 +0100 | sa | (sid1055@id-1055.tinside.irccloud.com) (Ping timeout: 250 seconds) |
| 2026-02-14 18:21:53 +0100 | Enrico63 | (~Enrico63@host-82-63-21-32.business.telecomitalia.it) (Ping timeout: 272 seconds) |
| 2026-02-14 18:16:32 +0100 | emaczen | (~user@user/emaczen) emaczen |
| 2026-02-14 18:13:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-14 18:12:11 +0100 | <tomsmeding> | ah :) |
| 2026-02-14 18:12:05 +0100 | sweater | (~sweater@206.81.18.26) sweater |
| 2026-02-14 18:11:54 +0100 | s4msung | (koCZlVvn6A@user/s4msung) s4msung |
| 2026-02-14 18:11:35 +0100 | s4msung | (TgRRXvmJBT@user/s4msung) (Ping timeout: 250 seconds) |
| 2026-02-14 18:11:35 +0100 | sweater | (~sweater@206.81.18.26) (Ping timeout: 250 seconds) |
| 2026-02-14 18:10:39 +0100 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) jeso |
| 2026-02-14 18:09:48 +0100 | <larsivi> | Indeed :) I did also misunderstand the compiler error - I thought it was the result of the division that didn't typecheck, but it was the division itself. Thanks all! |
| 2026-02-14 18:09:35 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 2026-02-14 18:09:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-14 18:08:59 +0100 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) (Ping timeout: 250 seconds) |
| 2026-02-14 18:08:35 +0100 | caubert | (~caubert@user/caubert) caubert |
| 2026-02-14 18:07:41 +0100 | chr55 | (57a0c161b0@user/chr55) chr55 |
| 2026-02-14 18:05:05 +0100 | chr55 | (57a0c161b0@user/chr55) (Ping timeout: 250 seconds) |
| 2026-02-14 18:04:57 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-14 18:04:35 +0100 | <tomsmeding> | well, this answers why 'ceiling (x / y)' does not work out-of-the-box :) |
| 2026-02-14 18:04:05 +0100 | <larsivi> | I get that tomsmeding :) |