Logs: liberachat/#haskell
| 2025-09-17 04:28:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-17 04:29:09 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-09-17 04:29:31 | → | califax joins (~califax@user/califx) |
| 2025-09-17 04:33:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-17 04:38:54 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-17 04:40:31 | <feetwind> | > toRational 1.2 |
| 2025-09-17 04:40:32 | <lambdabot> | 5404319552844595 % 4503599627370496 |
| 2025-09-17 04:40:35 | <feetwind> | :( |
| 2025-09-17 04:41:43 | × | PKDrinker quits (~PKDrinker@user/PKDrinker) (Ping timeout: 250 seconds) |
| 2025-09-17 04:44:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-17 04:44:44 | → | PKDrinker joins (~PKDrinker@user/PKDrinker) |
| 2025-09-17 04:45:46 | × | PKDrinker quits (~PKDrinker@user/PKDrinker) (Remote host closed the connection) |
| 2025-09-17 04:48:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-17 04:48:37 | → | michalz joins (~michalz@185.246.207.201) |
| 2025-09-17 04:50:50 | <feetwind> | > 27 / 1.8 |
| 2025-09-17 04:50:52 | <lambdabot> | 15.0 |
| 2025-09-17 04:50:59 | <feetwind> | > toRational 27 / toRational 1.8 |
| 2025-09-17 04:51:00 | <lambdabot> | 121597189939003392 % 8106479329266893 |
| 2025-09-17 04:51:26 | <feetwind> | > (floor (27 / 1.8), floor (toRational 27 / toRational 1.8)) |
| 2025-09-17 04:51:27 | <lambdabot> | (15,14) |
| 2025-09-17 04:51:41 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-09-17 04:52:28 | × | troydm quits (~troydm@user/troydm) (Ping timeout: 260 seconds) |
| 2025-09-17 04:56:50 | → | dcpagan joins (~dcpagan@gateway/tor-sasl/dcpagan) |
| 2025-09-17 05:03:18 | × | mange quits (~mange@user/mange) (*.net *.split) |
| 2025-09-17 05:03:18 | × | haveo quits (~weechat@pacamara.iuwt.fr) (*.net *.split) |
| 2025-09-17 05:03:18 | × | drlkf quits (~drlkf@chat-1.drlkf.net) (*.net *.split) |
| 2025-09-17 05:03:19 | × | tt12310978324354 quits (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Ping timeout: 260 seconds) |
| 2025-09-17 05:04:30 | × | Vajb quits (~Vajb@n4c77qqwuy0305es5ac-1.v6.elisa-mobile.fi) (Ping timeout: 245 seconds) |
| 2025-09-17 05:06:26 | → | troydm joins (~troydm@user/troydm) |
| 2025-09-17 05:08:50 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 2025-09-17 05:09:44 | → | trickard___ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-09-17 05:11:03 | × | trickard_ quits (~trickard@cpe-94-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-09-17 05:13:54 | <fgarcia> | > putStrLn "hi lambdabot" |
| 2025-09-17 05:13:55 | <lambdabot> | <IO ()> |
| 2025-09-17 05:14:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-17 05:14:44 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-09-17 05:18:08 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Remote host closed the connection) |
| 2025-09-17 05:18:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-17 05:22:42 | → | dequbed joins (~dequbed@banana-new.kilobyte22.de) |
| 2025-09-17 05:26:03 | → | haveo joins (~weechat@pacamara.iuwt.fr) |
| 2025-09-17 05:26:03 | → | drlkf joins (~drlkf@chat-1.drlkf.net) |
| 2025-09-17 05:27:59 | <monochrom> | > putStrLn "<IO ()>" |
| 2025-09-17 05:28:00 | <lambdabot> | <IO ()> |
| 2025-09-17 05:28:05 | <monochrom> | works :) |
| 2025-09-17 05:28:26 | trickard___ | is now known as trickard |
| 2025-09-17 05:28:58 | <monochrom> | > 27/1.8 - 15 |
| 2025-09-17 05:28:59 | <lambdabot> | 0.0 |
| 2025-09-17 05:29:15 | <monochrom> | > toRational (27/1.8) |
| 2025-09-17 05:29:16 | <lambdabot> | 15 % 1 |
| 2025-09-17 05:31:43 | × | nadja quits (~dequbed@banana-new.kilobyte22.de) (*.net *.split) |
| 2025-09-17 05:31:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-17 05:36:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-17 05:40:55 | → | xax__ joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-09-17 05:41:34 | → | Sgeo_ joins (~Sgeo@user/sgeo) |
| 2025-09-17 05:43:09 | → | pavonia_ joins (~user@user/siracusa) |
| 2025-09-17 05:43:39 | → | user363627 joins (~user@user/user363627) |
| 2025-09-17 05:44:38 | → | glguy_ joins (glguy@libera/staff/glguy) |
| 2025-09-17 05:44:47 | × | glguy quits (glguy@libera/staff/glguy) (Killed (molybdenum.libera.chat (Nickname regained by services))) |
| 2025-09-17 05:44:47 | glguy_ | is now known as glguy |
| 2025-09-17 05:46:24 | → | jmcantre1 joins (~weechat@user/jmcantrell) |
| 2025-09-17 05:47:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-17 05:49:17 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (*.net *.split) |
| 2025-09-17 05:49:17 | × | arandombit quits (~arandombi@user/arandombit) (*.net *.split) |
| 2025-09-17 05:49:17 | × | dfordivam1 quits (~dfordivam@160.16.87.223.v6.sakura.ne.jp) (*.net *.split) |
| 2025-09-17 05:49:17 | × | Pozyomka_ quits (~pyon@user/pyon) (*.net *.split) |
| 2025-09-17 05:49:17 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (*.net *.split) |
| 2025-09-17 05:49:17 | × | Fijxu quits (~Fijxu@user/fijxu) (*.net *.split) |
| 2025-09-17 05:49:17 | × | ubert quits (~Thunderbi@178.115.51.39.wireless.dyn.drei.com) (*.net *.split) |
| 2025-09-17 05:49:17 | × | weary-traveler quits (~user@user/user363627) (*.net *.split) |
| 2025-09-17 05:49:17 | × | Sgeo quits (~Sgeo@user/sgeo) (*.net *.split) |
| 2025-09-17 05:49:17 | × | pavonia quits (~user@user/siracusa) (*.net *.split) |
| 2025-09-17 05:49:17 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (*.net *.split) |
| 2025-09-17 05:49:17 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (*.net *.split) |
| 2025-09-17 05:49:18 | × | Jackneill_ quits (~Jackneill@94-21-227-192.pool.digikabel.hu) (*.net *.split) |
| 2025-09-17 05:49:18 | × | swistak- quits (~swistak@185.21.216.141) (*.net *.split) |
| 2025-09-17 05:49:18 | × | tzh_ quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (*.net *.split) |
| 2025-09-17 05:49:18 | × | tcard_ quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (*.net *.split) |
| 2025-09-17 05:49:18 | × | flukiluke quits (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (*.net *.split) |
| 2025-09-17 05:49:18 | × | yahb2 quits (~yahb2@user/tomsmeding/bot/yahb2) (*.net *.split) |
| 2025-09-17 05:49:18 | × | degraafk quits (sid71464@id-71464.lymington.irccloud.com) (*.net *.split) |
| 2025-09-17 05:49:18 | × | aspen quits (sid449115@id-449115.helmsley.irccloud.com) (*.net *.split) |
| 2025-09-17 05:49:18 | × | rselim quits (ce261f06ff@user/milesrout) (*.net *.split) |
| 2025-09-17 05:49:18 | × | p3n quits (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (*.net *.split) |
| 2025-09-17 05:49:18 | × | laman quits (laman@rego.ai) (*.net *.split) |
| 2025-09-17 05:49:18 | × | Beowulf quits (florian@gabilgathol.bandrate.org) (*.net *.split) |
| 2025-09-17 05:49:18 | × | coldmountain quits (sid484352@id-484352.helmsley.irccloud.com) (*.net *.split) |
| 2025-09-17 05:49:18 | × | jonrh quits (sid5185@id-5185.ilkley.irccloud.com) (*.net *.split) |
| 2025-09-17 05:49:18 | × | Adeon quits (sid418992@id-418992.lymington.irccloud.com) (*.net *.split) |
| 2025-09-17 05:49:18 | × | picnoir quits (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (*.net *.split) |
| 2025-09-17 05:49:21 | → | ubert1 joins (~Thunderbi@178.115.51.39.wireless.dyn.drei.com) |
| 2025-09-17 05:49:25 | pavonia_ | is now known as pavonia |
| 2025-09-17 05:50:48 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-09-17 05:50:48 | → | swistak joins (~swistak@185.21.216.141) |
| 2025-09-17 05:50:48 | → | jackneill__ joins (~Jackneill@94-21-227-192.pool.digikabel.hu) |
| 2025-09-17 05:50:48 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-17 05:50:48 | → | dfordivam1 joins (~dfordivam@160.16.87.223.v6.sakura.ne.jp) |
| 2025-09-17 05:50:48 | → | Pozyomka_ joins (~pyon@user/pyon) |
| 2025-09-17 05:50:48 | → | Fijxu joins (~Fijxu@user/fijxu) |
| 2025-09-17 05:50:48 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-09-17 05:50:48 | → | tcard_ joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
All times are in UTC.