Newest at the top
| 2025-01-17 17:13:10 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2025-01-17 17:12:24 +0100 | JuanDaugherty | ColinRobinson |
| 2025-01-17 16:58:41 +0100 | alecs | (~alecs@nat16.software.imdea.org) (Ping timeout: 248 seconds) |
| 2025-01-17 16:57:49 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-17 16:57:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Read error: Connection reset by peer) |
| 2025-01-17 16:56:39 +0100 | jespada | (~jespada@2800:a4:dd:6900:c1bf:43ce:3d23:1885) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-01-17 16:56:11 +0100 | ColinRobinson | JuanDaugherty |
| 2025-01-17 16:55:52 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-17 16:54:10 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-17 16:49:53 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-17 16:45:20 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-01-17 16:44:40 +0100 | Square | (~Square@user/square) Square |
| 2025-01-17 16:27:30 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 252 seconds) |
| 2025-01-17 16:26:09 +0100 | crvs | (~crvs@185.147.238.3) (Read error: Connection reset by peer) |
| 2025-01-17 16:23:47 +0100 | dontdieych2 | (~quassel@user/dontdieych2) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-01-17 16:19:06 +0100 | Digit | (~user@user/digit) (Ping timeout: 244 seconds) |
| 2025-01-17 16:18:52 +0100 | caryhartline | (~caryhartl@KD106184157010.ec-userreverse.dion.ne.jp) (Read error: Connection reset by peer) |
| 2025-01-17 16:18:44 +0100 | sprotte24 | (~sprotte24@p200300d16f42e000c0ca5743a4b487b6.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-17 16:18:10 +0100 | euleritian | (~euleritia@dynamic-176-006-139-088.176.6.pool.telefonica.de) |
| 2025-01-17 16:17:06 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2025-01-17 16:11:17 +0100 | mixfix41 | (~s2h@user/mixfix41) (Ping timeout: 248 seconds) |
| 2025-01-17 16:08:09 +0100 | Core6783 | (~rosco@183.171.110.197) (Ping timeout: 246 seconds) |
| 2025-01-17 16:00:56 +0100 | sprotte24 | (~sprotte24@p200300d16f42e000c0ca5743a4b487b6.dip0.t-ipconnect.de) |
| 2025-01-17 15:56:35 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-17 15:53:29 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 265 seconds) |
| 2025-01-17 15:52:54 +0100 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2025-01-17 15:48:48 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-17 15:47:03 +0100 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2025-01-17 15:45:22 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-17 15:43:23 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2025-01-17 15:42:22 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3502-53f9-f9e8-b5fd-14d6-305d.rev.sfr.net) (Remote host closed the connection) |
| 2025-01-17 15:39:43 +0100 | jespada | (~jespada@2800:a4:dd:6900:c1bf:43ce:3d23:1885) jespada |
| 2025-01-17 15:38:48 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3502-53f9-f9e8-b5fd-14d6-305d.rev.sfr.net) alexherbo2 |
| 2025-01-17 15:38:09 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3502-53f9-8db8-533d-25fc-39be.rev.sfr.net) (Remote host closed the connection) |
| 2025-01-17 15:36:11 +0100 | caryhartline | (~caryhartl@KD106184157010.ec-userreverse.dion.ne.jp) CaryHartline |
| 2025-01-17 15:36:10 +0100 | <merijn> | There are some basic checks to catch the simplest cases, but in general your asking GHC to solve the (famously unsolvable) halting problem :p |
| 2025-01-17 15:36:06 +0100 | jespada | (~jespada@2800:a4:c4:2a00:c8e8:2028:dfd0:433b) (Ping timeout: 265 seconds) |
| 2025-01-17 15:35:22 +0100 | <merijn> | chiselfuse: How do you expect GHC to know that it will never evaluate? :) |
| 2025-01-17 15:34:27 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3502-53f9-8db8-533d-25fc-39be.rev.sfr.net) alexherbo2 |
| 2025-01-17 15:34:02 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3502-53f9-8169-56a8-78c5-3a5b.rev.sfr.net) (Remote host closed the connection) |
| 2025-01-17 15:33:22 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-17 15:33:08 +0100 | tnt2 | tnt1 |
| 2025-01-17 15:33:08 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 272 seconds) |
| 2025-01-17 15:31:16 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-17 15:28:44 +0100 | caryhartline | (~caryhartl@KD106184157010.ec-userreverse.dion.ne.jp) (Read error: Connection reset by peer) |
| 2025-01-17 15:28:15 +0100 | tnt2 | tnt1 |
| 2025-01-17 15:28:15 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 246 seconds) |
| 2025-01-17 15:28:02 +0100 | caryhartline | (~caryhartl@KD106184157010.ec-userreverse.dion.ne.jp) CaryHartline |
| 2025-01-17 15:27:50 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-17 15:25:43 +0100 | <tomsmeding> | in the interpreter (ghci), that probably doesn't work |