2025-02-11 02:20:08 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 272 seconds) |
2025-02-11 02:24:35 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-02-11 03:24:02 +0100 | berberman | (~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
2025-02-11 03:24:15 +0100 | berberman | (~berberman@user/berberman) berberman |
2025-02-11 03:48:37 +0100 | <beastwic1> | does haskell write [01..10] ad 01, 02, 03, etc.? |
2025-02-11 03:48:43 +0100 | <beastwic1> | as* |
2025-02-11 03:49:09 +0100 | <geekosaur> | > [01 .. 10] |
2025-02-11 03:49:10 +0100 | <lambdabot> | [1,2,3,4,5,6,7,8,9,10] |
2025-02-11 03:49:22 +0100 | <geekosaur> | numbers don't have formatting built into them |
2025-02-11 03:50:43 +0100 | <geekosaur> | (thta sounds like an OOPish thing, numbers being objects with more attributes than just their type) |
2025-02-11 03:52:01 +0100 | <geekosaur> | (or Perl's weird polymorphism between string and numeric representations of numbers) |
2025-02-11 03:52:13 +0100 | <beastwic1> | wow built in expression bot |
2025-02-11 03:52:19 +0100 | <beastwic1> | that's okay, was just curious |
2025-02-11 03:52:25 +0100 | <beastwic1> | I wasn't holding my breath |
2025-02-11 03:52:53 +0100 | <beastwic1> | > [2,4,8..64] |
2025-02-11 03:52:55 +0100 | <lambdabot> | <hint>:1:7: error: parse error on input ‘..’ |
2025-02-11 03:53:56 +0100 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 268 seconds) |
2025-02-11 03:54:31 +0100 | <geekosaur> | the syntax of those enumerations is fairly fixed |
2025-02-11 03:55:33 +0100 | <geekosaur> | they correspond to specific functions: enumFrom, enimFromThen, enumFromTo, enumFromThenTo |
2025-02-11 04:33:40 +0100 | m5zs7k | (aquares@web10.mydevil.net) m5zs7k |
2025-02-11 05:54:10 +0100 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 248 seconds) |
2025-02-11 05:58:58 +0100 | m5zs7k | (aquares@web10.mydevil.net) m5zs7k |
2025-02-11 07:17:05 +0100 | ChubaDuba | (~ChubaDuba@79.136.181.244) ChubaDuba |
2025-02-11 07:49:40 +0100 | ft | (~ft@p4fc2a610.dip0.t-ipconnect.de) (Quit: leaving) |
2025-02-11 08:57:49 +0100 | mc47 | (~yecinem@p200300ee0f3794476ba22ec7b3e1deea.dip0.t-ipconnect.de) |
2025-02-11 09:14:28 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2025-02-11 10:40:09 +0100 | mc47 | (~yecinem@p200300ee0f3794476ba22ec7b3e1deea.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2025-02-11 11:21:59 +0100 | dxld | (a6d27c8ee6@2a03:6000:1812:100::52) (Remote host closed the connection) |
2025-02-11 11:21:59 +0100 | raghavgururajan | (ea769b8000@user/raghavgururajan) (Remote host closed the connection) |
2025-02-11 11:22:00 +0100 | samhh | (7569f027cf@2a03:6000:1812:100::e4) (Remote host closed the connection) |
2025-02-11 11:22:01 +0100 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) (Remote host closed the connection) |
2025-02-11 11:22:02 +0100 | wsx | (055e6b628d@2a03:6000:1812:100::dd6) (Remote host closed the connection) |
2025-02-11 11:33:23 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 252 seconds) |
2025-02-11 11:48:48 +0100 | ChubaDuba | (~ChubaDuba@79.136.181.244) (Quit: WeeChat 4.5.1) |
2025-02-11 12:35:05 +0100 | wsx | (055e6b628d@2a03:6000:1812:100::dd6) wsx |
2025-02-11 12:35:08 +0100 | dxld | (a6d27c8ee6@2a03:6000:1812:100::52) dxld |
2025-02-11 12:35:09 +0100 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) samhh |
2025-02-11 12:35:09 +0100 | raghavgururajan | (ea769b8000@user/raghavgururajan) raghavgururajan |
2025-02-11 12:35:11 +0100 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) jeso |
2025-02-11 12:49:30 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2025-02-11 13:59:33 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 248 seconds) |
2025-02-11 14:01:11 +0100 | Digitteknohippie | (~user@user/digit) Digit |
2025-02-11 14:02:28 +0100 | Digit | (~user@user/digit) (Ping timeout: 245 seconds) |
2025-02-11 14:52:01 +0100 | Digitteknohippie | Digit |
2025-02-11 16:27:50 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-02-11 16:28:53 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
2025-02-11 17:01:33 +0100 | Digit | (~user@user/digit) (Ping timeout: 244 seconds) |
2025-02-11 17:03:50 +0100 | Digit | (~user@user/digit) Digit |
2025-02-11 17:42:55 +0100 | ft | (~ft@p4fc2a610.dip0.t-ipconnect.de) ft |
2025-02-11 17:53:09 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2025-02-11 18:21:30 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-02-11 18:21:40 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
2025-02-11 18:24:04 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
2025-02-11 20:54:59 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2025-02-11 21:36:40 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Remote host closed the connection) |
2025-02-11 23:18:04 +0100 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
2025-02-11 23:58:12 +0100 | Leary | (~Leary@user/Leary/x-0910699) Leary |