Newest at the top
2025-01-27 06:41:04 +0100 | tabaqui1 | (~root@87.200.129.102) (Ping timeout: 260 seconds) |
2025-01-27 06:41:00 +0100 | <lambdabot> | t ~ t -> t1 -> t2 |
2025-01-27 06:41:00 +0100 | <lambdabot> | • Occurs check: cannot construct the infinite type: |
2025-01-27 06:41:00 +0100 | <lambdabot> | error: |
2025-01-27 06:40:59 +0100 | <monochrom> | @type \go -> go go go |
2025-01-27 06:40:50 +0100 | <monochrom> | \go -> go go o |
2025-01-27 06:38:40 +0100 | EvanR_ | EvanR |
2025-01-27 06:37:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2025-01-27 06:37:20 +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:35:49 +0100 | fmira | (~user@user/fmira) fmira |
2025-01-27 06:34:30 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-01-27 06:32:09 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
2025-01-27 06:31:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-27 06:27:23 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-01-27 06:21:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
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:16:22 +0100 | JimL | (~quassel@89.162.16.26) JimL |
2025-01-27 06:15:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
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:12:37 +0100 | EvanR | (~EvanR@user/evanr) (Read error: Connection reset by peer) |
2025-01-27 06:12:05 +0100 | EvanR_ | (~EvanR@user/evanr) EvanR |
2025-01-27 06:04:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2025-01-27 06:00:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-27 05:57:45 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2025-01-27 05:56:28 +0100 | aaronv | (~aaronv@user/aaronv) aaronv |
2025-01-27 05:56:03 +0100 | aaronv | (~aaronv@user/aaronv) (Remote host closed the connection) |
2025-01-27 05:50:08 +0100 | michalz | (~michalz@185.246.207.221) |
2025-01-27 05:48:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 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:46:08 +0100 | penteract | (~toby@blbn-12-b2-v4wan-167809-cust345.vm18.cable.virginm.net) (Ping timeout: 272 seconds) |
2025-01-27 05:43:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
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:42:10 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
2025-01-27 05:39:46 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) (Exeunt DS Producers) |
2025-01-27 05:37:58 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-01-27 05:36:14 +0100 | <Tikosh> | no worries |
2025-01-27 05:35:45 +0100 | <haskellbridge> | <sm> I'm not very good at chat 🤣 |
2025-01-27 05:35:39 +0100 | <Tikosh> | no i get it. |
2025-01-27 05:35:29 +0100 | <Tikosh> | oh! lol! thank you! |
2025-01-27 05:35:29 +0100 | <int-e> | or trying to; it became awkward somehow |
2025-01-27 05:35:20 +0100 | <int-e> | he's cheering you on |
2025-01-27 05:35:15 +0100 | <int-e> | nah |
2025-01-27 05:35:13 +0100 | <haskellbridge> | <sm> no, I'm saying good work :) |
2025-01-27 05:35:02 +0100 | <Tikosh> | oh! you want me to leave. okay! |
2025-01-27 05:34:41 +0100 | <haskellbridge> | <sm> go go go, have fun |
2025-01-27 05:34:09 +0100 | <Tikosh> | yea? |
2025-01-27 05:33:06 +0100 | <haskellbridge> | <sm> go Tikosh |
2025-01-27 05:32:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2025-01-27 05:31:51 +0100 | <yahb2> | 42 'q' |