Newest at the top
| 2025-01-27 07:25:51 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-27 07:25:07 +0100 | ft | (~ft@p3e9bcd97.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-01-27 07:22:18 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-01-27 07:21:38 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-01-27 07:20:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 07:17:27 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-27 07:07:32 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit) |
| 2025-01-27 07:04:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-27 07:04:12 +0100 | aaronv | (~aaronv@user/aaronv) aaronv |
| 2025-01-27 07:03:53 +0100 | aaronv | (~aaronv@user/aaronv) (Remote host closed the connection) |
| 2025-01-27 07:02:46 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-27 07:01:03 +0100 | jcarpenter2 | (~lol@96.78.87.197) (Read error: Connection reset by peer) |
| 2025-01-27 06:56:25 +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:50:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 06:45:09 +0100 | <lambdabot> | (forall a1. a1 -> a1) -> a -> a |
| 2025-01-27 06:45:08 +0100 | <probie> | :t \(go :: forall a . a -> a) -> go go go |
| 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) |