| 2025-01-27 00:00:03 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-27 00:04:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 00:08:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-27 00:10:11 +0100 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2025-01-27 00:13:12 +0100 | troydm | (~troydm@user/troydm) troydm |
| 2025-01-27 00:15:29 +0100 | emm | (~emm@user/edmeme) edmeme |
| 2025-01-27 00:16:53 +0100 | emm | (~emm@user/edmeme) (Client Quit) |
| 2025-01-27 00:17:43 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-27 00:19:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 00:24:21 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-27 00:25:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-27 00:25:41 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-01-27 00:29:27 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 276 seconds) |
| 2025-01-27 00:35:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 00:40:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-27 00:40:37 +0100 | cheater | (~Username@user/cheater) cheater |
| 2025-01-27 00:41:41 +0100 | acidjnk | (~acidjnk@p200300d6e7283f062074cf1fe8a72336.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-27 00:44:21 +0100 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 248 seconds) |
| 2025-01-27 00:44:32 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-27 00:48:43 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-01-27 00:48:58 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-01-27 00:49:59 +0100 | fp1 | (~Thunderbi@87-94-148-3.rev.dnainternet.fi) (Remote host closed the connection) |
| 2025-01-27 00:51:03 +0100 | fp | (~Thunderbi@87-94-148-3.rev.dnainternet.fi) (Remote host closed the connection) |
| 2025-01-27 00:51:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 00:56:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-27 00:58:20 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-01-27 00:58:57 +0100 | acidjnk | (~acidjnk@p200300d6e7283f06386ea0a4b154e9cc.dip0.t-ipconnect.de) acidjnk |
| 2025-01-27 01:05:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 01:11:16 +0100 | acidjnk | (~acidjnk@p200300d6e7283f06386ea0a4b154e9cc.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-01-27 01:12:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-27 01:18:09 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 246 seconds) |
| 2025-01-27 01:19:04 +0100 | lisbeths | (~user@c-174-164-24-226.hsd1.wa.comcast.net) (Ping timeout: 260 seconds) |
| 2025-01-27 01:24:23 +0100 | aaronv | (~aaronv@user/aaronv) aaronv |
| 2025-01-27 01:26:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 01:26:16 +0100 | ensyde | (~ensyde@2601:5c6:c200:6dc0::3cb6) ensyde |
| 2025-01-27 01:26:53 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-27 01:30:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-27 01:31:06 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 2025-01-27 01:33:57 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-27 01:34:39 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-27 01:38:06 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-01-27 01:40:27 +0100 | jumper | (~pcx180e@2600:8801:1082:f700:4aa1:58d1:d5d6:4401) pcx180e |
| 2025-01-27 01:41:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 01:45:46 +0100 | lisbeths | (~user@c-174-164-24-226.hsd1.wa.comcast.net) lisbeths |
| 2025-01-27 01:46:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-27 01:53:44 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-27 01:56:14 +0100 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2025-01-27 01:57:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 02:02:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-27 02:05:00 +0100 | xff0x | (~xff0x@2405:6580:b080:900:e092:5da1:8fce:7b28) (Ping timeout: 276 seconds) |
| 2025-01-27 02:08:32 +0100 | jumper | (~pcx180e@2600:8801:1082:f700:4aa1:58d1:d5d6:4401) (Quit: WeeChat 4.5.1) |
| 2025-01-27 02:09:51 +0100 | ensyde | (~ensyde@2601:5c6:c200:6dc0::3cb6) (Ping timeout: 265 seconds) |
| 2025-01-27 02:12:15 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2025-01-27 02:12:48 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
| 2025-01-27 02:13:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 02:14:16 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-27 02:15:00 +0100 | foul_owl | (~kerry@193.42.0.126) (Ping timeout: 252 seconds) |
| 2025-01-27 02:16:27 +0100 | sprotte24 | (~sprotte24@p200300d16f26820094a8806834740480.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-27 02:18:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-27 02:19:37 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-27 02:23:01 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-27 02:23:27 +0100 | otto_s | (~user@p5de2f856.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-01-27 02:25:29 +0100 | otto_s | (~user@p5b044aa1.dip0.t-ipconnect.de) |
| 2025-01-27 02:25:32 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-27 02:27:28 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-27 02:28:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 02:31:56 +0100 | lisbeths | (~user@c-174-164-24-226.hsd1.wa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-01-27 02:34:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-27 02:34:26 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-01-27 02:34:29 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2025-01-27 02:38:42 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2025-01-27 02:40:52 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-01-27 02:41:12 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 272 seconds) |
| 2025-01-27 02:42:03 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 244 seconds) |
| 2025-01-27 02:44:38 +0100 | califax | (~califax@user/califx) califx |
| 2025-01-27 02:44:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 02:48:31 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-01-27 02:49:06 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) Maxdamantus |
| 2025-01-27 02:49:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-27 02:51:02 +0100 | zmt00 | (~zmt00@user/zmt00) zmt00 |
| 2025-01-27 02:55:25 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-27 03:00:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 03:04:08 +0100 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-01-27 03:04:49 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-136.cust.tzulo.com) (Quit: Leaving) |
| 2025-01-27 03:05:00 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 264 seconds) |
| 2025-01-27 03:05:00 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 264 seconds) |
| 2025-01-27 03:05:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-27 03:05:27 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-01-27 03:06:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 03:06:38 +0100 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2025-01-27 03:11:30 +0100 | HappyNewYear2025 | (~newyear@2.219.56.221) (Ping timeout: 244 seconds) |
| 2025-01-27 03:11:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-27 03:11:44 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-27 03:12:56 +0100 | alx741 | (~alx741@186.33.188.229) (Ping timeout: 252 seconds) |
| 2025-01-27 03:14:00 +0100 | tabaqui1 | (~root@87.200.129.102) tabaqui |
| 2025-01-27 03:15:52 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-27 03:20:07 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-27 03:22:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 03:33:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-27 03:35:24 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 265 seconds) |
| 2025-01-27 03:45:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 03:48:10 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-27 03:52:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-27 04:00:28 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-27 04:01:02 +0100 | talisman` | (~user@2601:644:937c:ed10::ae5) |
| 2025-01-27 04:01:34 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 2025-01-27 04:02:26 +0100 | talismanick | (~user@2601:644:937c:ed10::ae5) (Read error: Connection reset by peer) |
| 2025-01-27 04:03:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 04:05:21 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-01-27 04:05:26 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-01-27 04:08:19 +0100 | user363627 | (~user@user/user363627) user363627 |
| 2025-01-27 04:08:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-27 04:12:15 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 252 seconds) |
| 2025-01-27 04:19:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 04:21:25 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-27 04:23:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-27 04:23:42 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-27 04:25:32 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-27 04:33:38 +0100 | fmira | (~user@user/fmira) fmira |
| 2025-01-27 04:34:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 04:39:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-27 04:43:34 +0100 | terrorjack45 | (~terrorjac@2a01:4f8:c17:a66e::) (Quit: The Lounge - https://thelounge.chat) |
| 2025-01-27 04:45:14 +0100 | terrorjack45 | (~terrorjac@2a01:4f8:c17:a66e::) terrorjack |
| 2025-01-27 04:45:42 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-27 04:47:46 +0100 | prasad | (~Thunderbi@2601:243:c001:3f07::5c) (Remote host closed the connection) |
| 2025-01-27 04:48:04 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-27 04:48:19 +0100 | JuanDaugherty | ColinRobinson |
| 2025-01-27 04:48:54 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-27 04:50:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 04:50:44 +0100 | foul_owl | (~kerry@185.203.219.82) foul_owl |
| 2025-01-27 04:53:02 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-27 04:55:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-27 04:59:12 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 2025-01-27 05:05:38 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-27 05:06:11 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-27 05:06:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 05:07:31 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-27 05:10:08 +0100 | fmira | (~user@user/fmira) (Remote host closed the connection) |
| 2025-01-27 05:10:19 +0100 | Tikosh | (~quassel@user/Tikosh) Tikosh |
| 2025-01-27 05:11:05 +0100 | <Tikosh> | hello. im a noob at programming and wonder if you can see my code. https://bpa.st/JQ3A |
| 2025-01-27 05:11:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-27 05:11:43 +0100 | <EvanR> | cool |
| 2025-01-27 05:11:55 +0100 | <EvanR> | have you seen this function |
| 2025-01-27 05:11:58 +0100 | <EvanR> | :t interact |
| 2025-01-27 05:11:59 +0100 | <lambdabot> | (String -> String) -> IO () |
| 2025-01-27 05:12:43 +0100 | <Tikosh> | i have not |
| 2025-01-27 05:13:10 +0100 | <EvanR> | it takes a function like your questionOne function as argument |
| 2025-01-27 05:13:27 +0100 | <EvanR> | and does the getting of input and printing of response for you |
| 2025-01-27 05:13:39 +0100 | <int-e> | meh it'll be awkward because there are prompts |
| 2025-01-27 05:13:46 +0100 | <Tikosh> | EvanR: alright |
| 2025-01-27 05:14:17 +0100 | <EvanR> | your program begins with a different pattern, yeah |
| 2025-01-27 05:15:07 +0100 | <EvanR> | but you can practice making higher order functions like interact to factor out some common I/O patterns |
| 2025-01-27 05:15:18 +0100 | <Tikosh> | EvanR: I still don't understand. sorry. I got a haskell textbook and started reading it for fun |
| 2025-01-27 05:15:28 +0100 | <Tikosh> | EvanR: alright. ill practice |
| 2025-01-27 05:15:44 +0100 | <int-e> | The code may be a tad too simple to comment on usefully. I wouldn't use `printf` (try using "%s" as your name) |
| 2025-01-27 05:15:45 +0100 | <EvanR> | 👍 |
| 2025-01-27 05:16:44 +0100 | <Tikosh> | int-e: alrighty then |
| 2025-01-27 05:16:47 +0100 | <int-e> | (Or, if you *want* to use printf, use "%s" and pass an extra argument whereever you're using user input.) |
| 2025-01-27 05:17:18 +0100 | <int-e> | (putStrLn <string> prints a line) |
| 2025-01-27 05:17:27 +0100 | <Tikosh> | int-e: I was told to put printf. originally it had print in it. i was running the mian from the REPL in Emacs |
| 2025-01-27 05:17:50 +0100 | <Tikosh> | or on the REPL |
| 2025-01-27 05:18:22 +0100 | <EvanR> | yes printf is kind of an awkward thing to go for in basic haskell |
| 2025-01-27 05:18:50 +0100 | <Tikosh> | EvanR: so just go with putStrLn or print? |
| 2025-01-27 05:19:01 +0100 | <EvanR> | putStrLn |
| 2025-01-27 05:19:05 +0100 | <Tikosh> | alright |
| 2025-01-27 05:19:20 +0100 | <EvanR> | % print 7 |
| 2025-01-27 05:19:20 +0100 | <yahb2> | 7 |
| 2025-01-27 05:19:27 +0100 | <EvanR> | % print "Hello World" |
| 2025-01-27 05:19:27 +0100 | <yahb2> | "Hello World" |
| 2025-01-27 05:19:36 +0100 | <EvanR> | notice the quotation marks |
| 2025-01-27 05:19:48 +0100 | <Tikosh> | oh. i see |
| 2025-01-27 05:20:31 +0100 | <Tikosh> | i was intending to make a console application. i only run it from the REPL. did not compile it, yet. |
| 2025-01-27 05:20:51 +0100 | <EvanR> | % putStrLn "Hello World!" |
| 2025-01-27 05:20:51 +0100 | <yahb2> | Hello World! |
| 2025-01-27 05:22:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 05:23:31 +0100 | <Tikosh> | Thank you so much for your instruction |
| 2025-01-27 05:24:40 +0100 | <mauke> | @src print |
| 2025-01-27 05:24:40 +0100 | <lambdabot> | print x = putStrLn (show x) |
| 2025-01-27 05:25:15 +0100 | <mauke> | % show 42 <> show 'q' |
| 2025-01-27 05:25:15 +0100 | <yahb2> | "42'q'" |
| 2025-01-27 05:26:08 +0100 | <int-e> | % unwords [show 42, show 'q'] |
| 2025-01-27 05:26:08 +0100 | <yahb2> | "42 'q'" |
| 2025-01-27 05:26:50 +0100 | <EvanR> | you made a string containing values of different types! |
| 2025-01-27 05:26:59 +0100 | <EvanR> | just kidding |
| 2025-01-27 05:27:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-27 05:27:19 +0100 | <EvanR> | stringly typed languages ftw |
| 2025-01-27 05:27:50 +0100 | <int-e> | EvanR: It's probably too much information, but `unwords` is unironically superior to repeated ++ " " ++ that often appear in manual formatting of several values. |
| 2025-01-27 05:28:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 05:28:07 +0100 | <EvanR> | why is that |
| 2025-01-27 05:28:28 +0100 | <int-e> | in terms of writing the code :P |
| 2025-01-27 05:28:43 +0100 | <EvanR> | hmm |
| 2025-01-27 05:28:53 +0100 | <int-e> | also, that's an opinion, ymmv |
| 2025-01-27 05:30:06 +0100 | aforemny | (~aforemny@i577B125E.versanet.de) aforemny |
| 2025-01-27 05:30:45 +0100 | aforemny_ | (~aforemny@2001:9e8:6ce1:cf00:b6f1:625c:54b4:a44b) (Ping timeout: 248 seconds) |
| 2025-01-27 05:31:51 +0100 | <int-e> | % putStrLn it |
| 2025-01-27 05:31:51 +0100 | <yahb2> | 42 'q' |
| 2025-01-27 05:32:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-27 05:33:06 +0100 | <haskellbridge> | <sm> go Tikosh |
| 2025-01-27 05:34:09 +0100 | <Tikosh> | yea? |
| 2025-01-27 05:34:41 +0100 | <haskellbridge> | <sm> go go go, have fun |
| 2025-01-27 05:35:02 +0100 | <Tikosh> | oh! you want me to leave. okay! |
| 2025-01-27 05:35:13 +0100 | <haskellbridge> | <sm> no, I'm saying good work :) |
| 2025-01-27 05:35:15 +0100 | <int-e> | nah |
| 2025-01-27 05:35:20 +0100 | <int-e> | he's cheering you on |
| 2025-01-27 05:35:29 +0100 | <int-e> | or trying to; it became awkward somehow |
| 2025-01-27 05:35:29 +0100 | <Tikosh> | oh! lol! thank you! |
| 2025-01-27 05:35:39 +0100 | <Tikosh> | no i get it. |
| 2025-01-27 05:35:45 +0100 | <haskellbridge> | <sm> I'm not very good at chat 🤣 |
| 2025-01-27 05:36:14 +0100 | <Tikosh> | no worries |
| 2025-01-27 05:37:58 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-27 05:39:46 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) (Exeunt DS Producers) |
| 2025-01-27 05:42:10 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-27 05:42:59 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-01-27 05:43:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 05:46:08 +0100 | penteract | (~toby@blbn-12-b2-v4wan-167809-cust345.vm18.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2025-01-27 05:46:45 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 2025-01-27 05:48:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-27 05:50:08 +0100 | michalz | (~michalz@185.246.207.221) |
| 2025-01-27 05:56:03 +0100 | aaronv | (~aaronv@user/aaronv) (Remote host closed the connection) |
| 2025-01-27 05:56:28 +0100 | aaronv | (~aaronv@user/aaronv) aaronv |
| 2025-01-27 05:57:45 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-27 06:00:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 06:04:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-27 06:12:05 +0100 | EvanR_ | (~EvanR@user/evanr) EvanR |
| 2025-01-27 06:12:37 +0100 | EvanR | (~EvanR@user/evanr) (Read error: Connection reset by peer) |
| 2025-01-27 06:12:49 +0100 | JimL | (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-01-27 06:15:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 06:16:22 +0100 | JimL | (~quassel@89.162.16.26) JimL |
| 2025-01-27 06:20:23 +0100 | <probie> | If English isn't your first language, "go" as an exhortation wishing success probably looks very weird. It makes much more sense as the tail-recursive "loop" for a function |
| 2025-01-27 06:21:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-27 06:27:23 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-27 06:31:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 06:32:09 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-01-27 06:34:30 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-27 06:35:49 +0100 | fmira | (~user@user/fmira) fmira |
| 2025-01-27 06:36:58 +0100 | fmira | (~user@user/fmira) (Remote host closed the connection) |
| 2025-01-27 06:37:20 +0100 | fmira | (~user@user/fmira) fmira |
| 2025-01-27 06:37:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-27 06:38:40 +0100 | EvanR_ | EvanR |
| 2025-01-27 06:40:50 +0100 | <monochrom> | \go -> go go o |
| 2025-01-27 06:40:59 +0100 | <monochrom> | @type \go -> go go go |
| 2025-01-27 06:41:00 +0100 | <lambdabot> | error: |
| 2025-01-27 06:41:00 +0100 | <lambdabot> | • Occurs check: cannot construct the infinite type: |
| 2025-01-27 06:41:00 +0100 | <lambdabot> | t ~ t -> t1 -> t2 |
| 2025-01-27 06:41:04 +0100 | tabaqui1 | (~root@87.200.129.102) (Ping timeout: 260 seconds) |
| 2025-01-27 06:45:08 +0100 | <probie> | :t \(go :: forall a . a -> a) -> go go go |
| 2025-01-27 06:45:09 +0100 | <lambdabot> | (forall a1. a1 -> a1) -> a -> a |
| 2025-01-27 06:50:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 06:54:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-27 06:56:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 07:01:03 +0100 | jcarpenter2 | (~lol@96.78.87.197) (Read error: Connection reset by peer) |
| 2025-01-27 07:02:46 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-27 07:03:53 +0100 | aaronv | (~aaronv@user/aaronv) (Remote host closed the connection) |
| 2025-01-27 07:04:12 +0100 | aaronv | (~aaronv@user/aaronv) aaronv |
| 2025-01-27 07:04:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-27 07:07:32 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit) |
| 2025-01-27 07:17:27 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-27 07:20:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 07:21:38 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-01-27 07:22:18 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-01-27 07:25:07 +0100 | ft | (~ft@p3e9bcd97.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-01-27 07:25:51 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-27 07:30:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-27 07:30:39 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 276 seconds) |
| 2025-01-27 07:32:10 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-01-27 07:33:25 +0100 | euleritian | (~euleritia@dynamic-176-001-197-098.176.1.pool.telefonica.de) |
| 2025-01-27 07:34:20 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-27 07:35:31 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-01-27 07:35:31 +0100 | tnt2 | tnt1 |
| 2025-01-27 07:40:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 07:40:57 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-01-27 07:45:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-27 07:47:55 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-01-27 07:48:31 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-27 07:49:43 +0100 | Tikosh | (~quassel@user/Tikosh) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-01-27 07:50:24 +0100 | bang | (~Srain@108.173.142.167) (Remote host closed the connection) |
| 2025-01-27 07:55:42 +0100 | acidjnk | (~acidjnk@p200300d6e7283f5854eb9b260f3ea179.dip0.t-ipconnect.de) acidjnk |
| 2025-01-27 07:56:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 08:01:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-27 08:04:58 +0100 | CiaoSen | (~Jura@2a05:5800:20d:d600:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-01-27 08:06:32 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-27 08:07:01 +0100 | JamesMowery4395 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Ping timeout: 248 seconds) |
| 2025-01-27 08:09:50 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 244 seconds) |
| 2025-01-27 08:10:40 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-27 08:12:18 +0100 | talisman` | (~user@2601:644:937c:ed10::ae5) (Read error: Connection reset by peer) |
| 2025-01-27 08:12:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 08:12:32 +0100 | talisman` | (~user@2601:644:937c:ed10::ae5) |
| 2025-01-27 08:14:43 +0100 | JamesMowery4395 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2025-01-27 08:19:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-27 08:19:59 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-27 08:21:30 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-01-27 08:23:12 +0100 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 272 seconds) |
| 2025-01-27 08:24:05 +0100 | raym | (~ray@user/raym) (Ping timeout: 244 seconds) |
| 2025-01-27 08:30:11 +0100 | aaronv | (~aaronv@user/aaronv) aaronv |
| 2025-01-27 08:30:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 08:31:16 +0100 | raym | (~ray@user/raym) raym |
| 2025-01-27 08:33:04 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-27 08:34:55 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-27 08:35:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-27 08:36:49 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-01-27 08:37:46 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 272 seconds) |
| 2025-01-27 08:38:13 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-27 08:39:04 +0100 | user363627 | (~user@user/user363627) (Ping timeout: 244 seconds) |
| 2025-01-27 08:40:21 +0100 | acidjnk | (~acidjnk@p200300d6e7283f5854eb9b260f3ea179.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-27 08:44:30 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2025-01-27 08:45:14 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-01-27 08:46:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 08:47:33 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-27 08:50:42 +0100 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2025-01-27 08:50:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2025-01-27 08:55:16 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-27 08:56:13 +0100 | CrunchyFlakes | (~CrunchyFl@ip923482e1.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2025-01-27 08:57:32 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-27 08:58:25 +0100 | euleritian | (~euleritia@dynamic-176-001-197-098.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-27 08:58:44 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-27 08:59:14 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-01-27 08:59:26 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-27 09:00:05 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-27 09:00:25 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-27 09:00:26 +0100 | CrunchyFlakes | (~CrunchyFl@146.52.130.225) |
| 2025-01-27 09:00:48 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-27 09:02:08 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-01-27 09:02:57 +0100 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 276 seconds) |
| 2025-01-27 09:03:14 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2025-01-27 09:04:20 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-27 09:05:02 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-01-27 09:05:02 +0100 | tnt2 | tnt1 |
| 2025-01-27 09:09:21 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-27 09:09:24 +0100 | lisbeths` | (~user@2603:3023:4be:4000:216:3eff:fe17:d69d) |
| 2025-01-27 09:13:41 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-01-27 09:14:42 +0100 | xelxebar_ | (~xelxebar@wilsonb.com) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2025-01-27 09:14:49 +0100 | <lisbeths`> | are people in #haskell very familiar with binary lambda calculus? |
| 2025-01-27 09:15:54 +0100 | xelxebar | (~xelxebar@wilsonb.com) xelxebar |
| 2025-01-27 09:16:08 +0100 | <probie> | What does "very familiar" mean? I probably can't read a non-trivial expression and reduce with pen and paper (or a computer) |
| 2025-01-27 09:16:20 +0100 | <probie> | s/with pen/without pen/ |
| 2025-01-27 09:16:55 +0100 | <lisbeths`> | I wrote a language that compiles to binary lambda calculus |
| 2025-01-27 09:17:15 +0100 | <lisbeths`> | so it can be embedded into haskell and haskell can be embedded into it |
| 2025-01-27 09:20:49 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-27 09:30:37 +0100 | <dminuoso> | Sounds like a fun project |
| 2025-01-27 09:30:51 +0100 | <dminuoso> | How much of Haskell do you support? |
| 2025-01-27 09:32:45 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-27 09:32:49 +0100 | <lisbeths`> | It should be compatible with the purely functional parts |
| 2025-01-27 09:34:03 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-01-27 09:35:43 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-27 09:35:56 +0100 | acidjnk | (~acidjnk@p200300d6e7283f58c4cea7af3a5e8af9.dip0.t-ipconnect.de) acidjnk |
| 2025-01-27 09:36:12 +0100 | <dminuoso> | lisbeths`: Do you just compile system FC to binary lambda calculus then? |
| 2025-01-27 09:37:14 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 260 seconds) |
| 2025-01-27 09:37:22 +0100 | <dminuoso> | Just wondering whether "purely functional parts" includes all of GADTs. |
| 2025-01-27 09:37:31 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-27 09:38:24 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-27 09:38:47 +0100 | <dminuoso> | By extension that would include things like ConstraintKinds |
| 2025-01-27 09:39:28 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-27 09:40:54 +0100 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2025-01-27 09:45:41 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-27 09:49:51 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-01-27 09:50:12 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-27 09:51:15 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 246 seconds) |
| 2025-01-27 09:51:15 +0100 | tnt2 | tnt1 |
| 2025-01-27 09:58:49 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) (Quit: ZNC - https://znc.in) |
| 2025-01-27 09:59:19 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) Fischmiep |
| 2025-01-27 10:00:33 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-27 10:00:57 +0100 | <lisbeths`> | dminuoso: system fc? |
| 2025-01-27 10:02:28 +0100 | <probie> | System F with type equality |
| 2025-01-27 10:02:46 +0100 | <lisbeths`> | binary lambda calculus can bootstraps system F or any type system that you'd like |
| 2025-01-27 10:03:01 +0100 | <probie> | So can a turing machine |
| 2025-01-27 10:03:16 +0100 | <lisbeths`> | indeed |
| 2025-01-27 10:03:30 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-01-27 10:03:34 +0100 | <lisbeths`> | This is about making a very small purely functional language in the order of under 8 megabytes |
| 2025-01-27 10:05:51 +0100 | <lisbeths`> | like what if you want a purely functional programming language to go into smartdust computers with very low computing power |
| 2025-01-27 10:15:29 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-27 10:18:19 +0100 | chele | (~chele@user/chele) chele |
| 2025-01-27 10:19:49 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-01-27 10:20:32 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-27 10:34:05 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-27 10:34:59 +0100 | kuribas | (~user@ptr-17d51en30430ldpieyz.18120a2.ip6.access.telenet.be) kuribas |
| 2025-01-27 10:35:59 +0100 | alp | (~alp@2001:861:8ca0:4940:94ba:2e4d:2c57:ff61) |
| 2025-01-27 10:38:25 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-01-27 10:38:48 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Quit: leaving) |
| 2025-01-27 10:39:58 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-27 10:42:41 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-01-27 10:43:35 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-01-27 10:46:45 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-01-27 10:53:29 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-27 10:54:58 +0100 | CiaoSen | (~Jura@2a05:5800:20d:d600:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds) |
| 2025-01-27 10:59:49 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2025-01-27 11:01:38 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 245 seconds) |
| 2025-01-27 11:03:25 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |