Logs: liberachat/#haskell
| 2025-08-20 09:26:40 | → | fp joins (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) |
| 2025-08-20 09:29:04 | × | athan quits (~athan@syn-174-106-168-248.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2025-08-20 09:31:38 | × | trickard_ quits (~trickard@cpe-48-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
| 2025-08-20 09:32:06 | → | trickard_ joins (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 2025-08-20 09:32:41 | × | mauke quits (~mauke@user/mauke) (Server closed connection) |
| 2025-08-20 09:32:51 | → | mauke joins (~mauke@user/mauke) |
| 2025-08-20 09:38:04 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 2025-08-20 09:42:13 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 255 seconds) |
| 2025-08-20 09:43:17 | → | chele joins (~chele@user/chele) |
| 2025-08-20 09:50:29 | Jon | is now known as Jon^ |
| 2025-08-20 09:50:33 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-08-20 09:50:48 | × | Jon^ quits (jon@dow.land) (Quit: ZNC - http://znc.in) |
| 2025-08-20 09:50:56 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 2025-08-20 09:53:28 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2025-08-20 09:55:04 | trickard_ | is now known as trickard |
| 2025-08-20 09:56:24 | <yin> | (i just notices i messed up the second non-typechecking step) |
| 2025-08-20 09:57:03 | <yin> | should be `y f = g g where g x = f $ x x` |
| 2025-08-20 09:58:11 | → | trickard__ joins (~trickard@cpe-59-98-47-163.wireline.com.au) |
| 2025-08-20 09:59:12 | × | trickard quits (~trickard@cpe-48-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-08-20 10:03:38 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
| 2025-08-20 10:05:00 | → | athan joins (~athan@syn-047-132-161-157.res.spectrum.com) |
| 2025-08-20 10:25:13 | × | ubert1 quits (~Thunderbi@91.141.70.208.wireless.dyn.drei.com) (Ping timeout: 244 seconds) |
| 2025-08-20 10:27:26 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-08-20 10:40:39 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-08-20 10:47:36 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 2025-08-20 10:47:49 | → | tromp joins (~textual@2001:1c00:3487:1b00:9c04:acc7:66ee:fca9) |
| 2025-08-20 10:49:22 | × | xacktm quits (xacktm@user/xacktm) (Quit: fBNC - https://bnc4free.com) |
| 2025-08-20 10:49:28 | × | andreas303 quits (andreas303@is.drunk.and.ready-to.party) (Remote host closed the connection) |
| 2025-08-20 10:50:07 | → | xacktm joins (xacktm@user/xacktm) |
| 2025-08-20 10:54:13 | → | andreas303 joins (andreas303@is.drunk.and.ready-to.party) |
| 2025-08-20 10:54:23 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-08-20 10:54:55 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-08-20 10:56:15 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-08-20 10:56:15 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-08-20 10:56:15 | → | haritz joins (~hrtz@user/haritz) |
| 2025-08-20 11:00:01 | × | Square quits (~Square4@user/square) (Quit: Leaving) |
| 2025-08-20 11:03:21 | → | xff0x joins (~xff0x@2405:6580:b080:900:5de7:9d06:9fef:17be) |
| 2025-08-20 11:04:27 | × | trickard__ quits (~trickard@cpe-59-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-20 11:04:41 | → | trickard_ joins (~trickard@cpe-59-98-47-163.wireline.com.au) |
| 2025-08-20 11:06:31 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-08-20 11:15:08 | × | tromp quits (~textual@2001:1c00:3487:1b00:9c04:acc7:66ee:fca9) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-20 11:16:56 | → | tromp joins (~textual@2001:1c00:3487:1b00:9c04:acc7:66ee:fca9) |
| 2025-08-20 11:21:11 | × | aniketd quits (32aa4844cd@2a03:6000:1812:100::dcb) (Server closed connection) |
| 2025-08-20 11:21:19 | → | aniketd joins (32aa4844cd@2a03:6000:1812:100::dcb) |
| 2025-08-20 11:25:00 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-08-20 11:25:36 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2025-08-20 11:26:20 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2025-08-20 11:29:07 | × | krei-se- quits (~krei-se@p3ee0fd0d.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-08-20 11:29:45 | × | tromp quits (~textual@2001:1c00:3487:1b00:9c04:acc7:66ee:fca9) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-20 11:31:06 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2025-08-20 11:32:24 | → | krei-se joins (~krei-se@p3ee0fd0d.dip0.t-ipconnect.de) |
| 2025-08-20 11:33:16 | × | ludat15 quits (~ludat@2800:810:443:51c:8cec:16b4:c3f:b85e) (Quit: Client closed) |
| 2025-08-20 11:36:02 | × | Yumemi quits (~Yumemi@chamoin.net) (Server closed connection) |
| 2025-08-20 11:36:50 | → | Yumemi joins (~Yumemi@chamoin.net) |
| 2025-08-20 11:52:24 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 2025-08-20 11:59:14 | trickard_ | is now known as trickard |
| 2025-08-20 12:12:33 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-20 12:18:52 | → | tremon joins (~tremon@83.80.159.219) |
| 2025-08-20 12:19:05 | → | Square joins (~Square4@user/square) |
| 2025-08-20 12:27:00 | × | srk_ quits (~sorki@user/srk) (Ping timeout: 256 seconds) |
| 2025-08-20 12:37:19 | → | srk_ joins (~sorki@user/srk) |
| 2025-08-20 12:40:54 | × | AlexZenon quits (~alzenon@178.34.150.79) (Quit: ;-) |
| 2025-08-20 12:41:42 | × | AlexNoo quits (~AlexNoo@178.34.150.79) (Quit: Leaving) |
| 2025-08-20 12:49:54 | × | rembo10 quits (~rembo10@main.remulis.com) (Quit: ZNC 1.10.0 - https://znc.in) |
| 2025-08-20 12:52:08 | → | rembo10 joins (~rembo10@main.remulis.com) |
| 2025-08-20 12:53:14 | × | Rembane quits (~Rembane@user/Rembane) (Server closed connection) |
| 2025-08-20 12:53:21 | → | tromp joins (~textual@2001:1c00:3487:1b00:9c04:acc7:66ee:fca9) |
| 2025-08-20 12:53:38 | → | Rembane joins (~Rembane@user/Rembane) |
| 2025-08-20 12:55:23 | → | qqe joins (~qqq@185.54.20.59) |
| 2025-08-20 12:57:27 | × | trickard quits (~trickard@cpe-59-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-08-20 12:58:01 | → | trickard__ joins (~trickard@cpe-58-98-47-163.wireline.com.au) |
| 2025-08-20 12:58:28 | × | olivial quits (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2025-08-20 12:58:44 | → | olivial joins (~benjaminl@user/benjaminl) |
| 2025-08-20 13:02:01 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2025-08-20 13:07:39 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-08-20 13:10:29 | <kuribas> | :t fix |
| 2025-08-20 13:10:30 | <lambdabot> | (a -> a) -> a |
| 2025-08-20 13:12:10 | <int-e> | % import Data.Function |
| 2025-08-20 13:12:11 | <yahb2> | <no output> |
| 2025-08-20 13:12:17 | <int-e> | % pure (1:) |
| 2025-08-20 13:12:18 | <yahb2> | <no output> |
| 2025-08-20 13:12:20 | <int-e> | % fix it |
| 2025-08-20 13:12:20 | <yahb2> | [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,... |
| 2025-08-20 13:14:09 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-20 13:20:21 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 2025-08-20 13:23:21 | × | trickard__ quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-20 13:23:34 | → | trickard_ joins (~trickard@cpe-58-98-47-163.wireline.com.au) |
| 2025-08-20 13:23:39 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-08-20 13:25:03 | → | AlexNoo joins (~AlexNoo@178.34.150.79) |
| 2025-08-20 13:26:13 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-08-20 13:29:54 | → | AlexZenon joins (~alzenon@178.34.150.79) |
| 2025-08-20 13:32:21 | <yin> | wait. what? |
| 2025-08-20 13:32:29 | <yin> | :t pure (1:) |
| 2025-08-20 13:32:30 | <lambdabot> | (Applicative f, Num a) => f ([a] -> [a]) |
| 2025-08-20 13:32:48 | <yin> | > take 10 $ fix (pure (1:)) |
| 2025-08-20 13:32:50 | <lambdabot> | error: |
| 2025-08-20 13:32:50 | <lambdabot> | • Couldn't match type ‘[a0] -> [a0]’ with ‘[a]’ |
| 2025-08-20 13:32:50 | <lambdabot> | Expected type: [a] -> [a] |
| 2025-08-20 13:33:01 | <yin> | does `it` get rit of the `pure`? |
| 2025-08-20 13:33:08 | <yin> | s/rit/rid |
All times are in UTC.