Newest at the top
| 2024-10-24 16:29:39 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-10-24 16:24:15 +0200 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) polux |
| 2024-10-24 16:21:46 +0200 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) (Quit: Ping timeout (120 seconds)) |
| 2024-10-24 16:21:27 +0200 | euleritian | (~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-10-24 16:19:36 +0200 | leah2 | (~leah@vuxu.org) leah2 |
| 2024-10-24 16:18:39 +0200 | Digitteknohippie | Digit |
| 2024-10-24 16:15:06 +0200 | euleritian | (~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de) |
| 2024-10-24 16:14:30 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-10-24 16:09:14 +0200 | <lambdabot> | Maybe you meant: unpf rc bf |
| 2024-10-24 16:09:14 +0200 | <SrPx> | @ncf reading rn ty |
| 2024-10-24 16:09:09 +0200 | <SrPx> | int-e: haskell complains `type Term = PreTerm Term` is recursive 💀 |
| 2024-10-24 16:09:04 +0200 | int-e | missed the recursion in the newtype |
| 2024-10-24 16:08:50 +0200 | <int-e> | oh wait, never mind |
| 2024-10-24 16:08:04 +0200 | <int-e> | can you get away with a type alias? |
| 2024-10-24 16:06:55 +0200 | <ncf> | pattern synonym? |
| 2024-10-24 16:03:56 +0200 | <SrPx> | I've just refactored a "Term" type in Haskell to receive a type argument 'a' (i.e., (PreTerm a)), and created the equivalent of the old Term as 'newtype Term = T (PreTerm Term)'. but now I need to write (T (App _ _)) instead of (App _ _) etc. everywhere. is it possible to make this change work without refactoring the whole codebase? |
| 2024-10-24 16:03:07 +0200 | leah2 | (~leah@vuxu.org) (Ping timeout: 252 seconds) |
| 2024-10-24 16:01:32 +0200 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-10-24 15:57:00 +0200 | ash3en | (~Thunderbi@149.222.152.198) ash3en |
| 2024-10-24 15:53:58 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 272 seconds) |
| 2024-10-24 15:49:41 +0200 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2024-10-24 15:49:34 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 15:49:21 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-10-24 15:49:11 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-24 15:48:54 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 15:48:39 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2024-10-24 15:45:56 +0200 | ash3en | (~Thunderbi@149.222.152.198) (Quit: ash3en) |
| 2024-10-24 15:40:17 +0200 | leah2 | (~leah@vuxu.org) leah2 |
| 2024-10-24 15:39:55 +0200 | leah2 | (~leah@vuxu.org) (Quit: Sprechen Sie noch? Wird noch gesprochen? Ich trenne.) |
| 2024-10-24 15:39:03 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3217-270c-61bf-78b5-c91b-cacd.rev.sfr.net) alexherbo2 |
| 2024-10-24 15:38:06 +0200 | cheater | (~Username@user/cheater) cheater |
| 2024-10-24 15:34:25 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3217-270c-61bf-78b5-c91b-cacd.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-24 15:33:55 +0200 | leah2 | (~leah@vuxu.org) leah2 |
| 2024-10-24 15:31:09 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 15:30:52 +0200 | euleritian | (~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-24 15:24:00 +0200 | leah2 | (~leah@vuxu.org) (Ping timeout: 244 seconds) |
| 2024-10-24 15:15:17 +0200 | euleritian | (~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de) |
| 2024-10-24 15:15:06 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-10-24 15:08:18 +0200 | CiaoSen | (~Jura@2a05:5800:46d:2500:ca4b:d6ff:fec1:99da) (Ping timeout: 245 seconds) |
| 2024-10-24 15:06:15 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 15:05:09 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-10-24 15:02:41 +0200 | hgolden__ | (~hgolden@23.162.40.28) (Ping timeout: 248 seconds) |
| 2024-10-24 15:00:22 +0200 | hgolden_ | (~hgolden@23.162.40.69) hgolden |
| 2024-10-24 14:59:20 +0200 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-10-24 14:59:05 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Read error: Connection reset by peer) |
| 2024-10-24 14:58:05 +0200 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2024-10-24 14:56:28 +0200 | rubin55 | (sid666177@id-666177.lymington.irccloud.com) rubin55 |
| 2024-10-24 14:56:24 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-10-24 14:56:04 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) meinside |
| 2024-10-24 14:55:19 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Ping timeout: 264 seconds) |