Logs: liberachat/#haskell
| 2025-11-03 18:50:42 | → | Googulator98 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 18:53:00 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-03 18:53:46 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-11-03 18:53:55 | <haskellbridge> | <slack1256> dutchie: give an example |
| 2025-11-03 18:54:19 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-03 18:55:26 | <dutchie> | > join (,) 42 |
| 2025-11-03 18:55:28 | <lambdabot> | (42,42) |
| 2025-11-03 18:55:58 | → | juri_ joins (~juri@implicitcad.org) |
| 2025-11-03 18:56:00 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-03 18:56:29 | <EvanR> | > join (,) x |
| 2025-11-03 18:56:31 | <lambdabot> | (x,x) |
| 2025-11-03 18:57:06 | <Rembane> | :t join (,) x |
| 2025-11-03 18:57:07 | <lambdabot> | (Expr, Expr) |
| 2025-11-03 18:57:08 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-03 18:57:14 | <Rembane> | Interesting |
| 2025-11-03 19:00:42 | × | deptype quits (~deptype@2406:b400:3a:73c2:9398:79da:dabe:3afe) (Remote host closed the connection) |
| 2025-11-03 19:01:03 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-03 19:01:16 | → | deptype joins (~deptype@2406:b400:3a:73c2:2204:701c:abc6:3bec) |
| 2025-11-03 19:01:33 | × | nschoe quits (~nschoe@2a01:e0a:8e:a190:f54f:18e:6e22:e35f) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-11-03 19:01:50 | → | nschoe joins (~nschoe@2a01:e0a:8e:a190:dcbd:e63a:1e59:c9c4) |
| 2025-11-03 19:08:51 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2025-11-03 19:09:50 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-11-03 19:11:39 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-11-03 19:17:23 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-11-03 19:20:47 | × | deptype quits (~deptype@2406:b400:3a:73c2:2204:701c:abc6:3bec) (Remote host closed the connection) |
| 2025-11-03 19:21:00 | → | deptype joins (~deptype@2406:b400:3a:73c2:a58f:95d8:3abc:6ffe) |
| 2025-11-03 19:22:22 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-11-03 19:22:22 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-03 19:32:36 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-03 19:34:59 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-11-03 19:35:08 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-03 19:40:50 | × | deptype quits (~deptype@2406:b400:3a:73c2:a58f:95d8:3abc:6ffe) (Remote host closed the connection) |
| 2025-11-03 19:41:09 | → | deptype joins (~deptype@2406:b400:3a:73c2:5ea6:8d30:4b4c:ae02) |
| 2025-11-03 19:51:51 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-11-03 19:51:55 | → | Tuplanolla joins (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) |
| 2025-11-03 20:01:22 | × | deptype quits (~deptype@2406:b400:3a:73c2:5ea6:8d30:4b4c:ae02) (Remote host closed the connection) |
| 2025-11-03 20:01:36 | → | deptype joins (~deptype@2406:b400:3a:73c2:b5be:98e:ca9b:4c26) |
| 2025-11-03 20:14:16 | <monochrom> | Unifying x->(y->(x,y)) with m (m a) yields m = (x ->) = (y ->), a = (x,y). It's sometimes a cool trick. |
| 2025-11-03 20:14:27 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-11-03 20:14:57 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-03 20:15:13 | <monochrom> | And with that. join f = \a -> f a a in general, = \a -> (a,a) in particular. |
| 2025-11-03 20:15:36 | → | Googulator88 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 20:15:46 | × | Googulator98 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 20:17:09 | × | kuribas quits (~user@2a02-1810-2825-6000-8c07-8012-a7b5-8ac.ip6.access.telenet.be) (Remote host closed the connection) |
| 2025-11-03 20:20:43 | × | Googulator88 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 20:20:44 | → | Googulator37 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 20:21:25 | × | deptype quits (~deptype@2406:b400:3a:73c2:b5be:98e:ca9b:4c26) (Remote host closed the connection) |
| 2025-11-03 20:21:37 | → | deptype joins (~deptype@2406:b400:3a:73c2:bbec:e669:874:a802) |
| 2025-11-03 20:27:17 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-03 20:28:37 | → | califax joins (~califax@user/califx) |
| 2025-11-03 20:33:18 | × | synchromesh quits (~john@2406:5a00:2412:2c00:468:2bd4:6999:ccc3) (Read error: Connection reset by peer) |
| 2025-11-03 20:34:20 | → | synchromesh joins (~john@2406:5a00:2412:2c00:468:2bd4:6999:ccc3) |
| 2025-11-03 20:40:22 | × | trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-03 20:40:36 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-11-03 20:41:27 | × | deptype quits (~deptype@2406:b400:3a:73c2:bbec:e669:874:a802) (Remote host closed the connection) |
| 2025-11-03 20:41:39 | → | deptype joins (~deptype@2406:b400:3a:73c2:8466:dd7f:a453:9ebc) |
| 2025-11-03 20:46:29 | × | Flow quits (~none@gentoo/developer/flow) (Quit: WeeChat 4.5.2) |
| 2025-11-03 20:53:06 | → | wbadart joins (~will@user/wbadart) |
| 2025-11-03 20:53:58 | × | wbadart quits (~will@user/wbadart) (Client Quit) |
| 2025-11-03 21:01:33 | × | deptype quits (~deptype@2406:b400:3a:73c2:8466:dd7f:a453:9ebc) (Remote host closed the connection) |
| 2025-11-03 21:01:46 | → | deptype joins (~deptype@2406:b400:3a:73c2:58af:1944:6c4b:71e3) |
| 2025-11-03 21:09:08 | → | Square joins (~Square4@user/square) |
| 2025-11-03 21:15:27 | × | Square2 quits (~Square@user/square) (Ping timeout: 260 seconds) |
| 2025-11-03 21:15:56 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-11-03 21:21:35 | × | deptype quits (~deptype@2406:b400:3a:73c2:58af:1944:6c4b:71e3) (Remote host closed the connection) |
| 2025-11-03 21:21:47 | → | deptype joins (~deptype@2406:b400:3a:73c2:dfd5:76ea:fb91:ba58) |
| 2025-11-03 21:27:16 | × | ttybitnik quits (~ttybitnik@user/wolper) (Ping timeout: 244 seconds) |
| 2025-11-03 21:28:01 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-11-03 21:30:27 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 2025-11-03 21:40:06 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-03 21:42:07 | × | deptype quits (~deptype@2406:b400:3a:73c2:dfd5:76ea:fb91:ba58) (Remote host closed the connection) |
| 2025-11-03 21:42:31 | → | deptype joins (~deptype@2406:b400:3a:73c2:52d0:1d6d:1ba8:75d6) |
| 2025-11-03 21:44:22 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds) |
| 2025-11-03 21:53:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-03 21:55:38 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-11-03 21:57:22 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 265 seconds) |
| 2025-11-03 21:58:52 | × | down200 quits (~down200@shell.lug.mtu.edu) (Quit: ZNC - https://znc.in) |
| 2025-11-03 22:02:09 | × | deptype quits (~deptype@2406:b400:3a:73c2:52d0:1d6d:1ba8:75d6) (Remote host closed the connection) |
| 2025-11-03 22:02:23 | → | deptype joins (~deptype@2406:b400:3a:73c2:392f:697:afd2:a634) |
| 2025-11-03 22:03:18 | trickard_ | is now known as trickard |
| 2025-11-03 22:05:04 | → | down200 joins (~down200@shell.lug.mtu.edu) |
| 2025-11-03 22:07:07 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-11-03 22:10:52 | × | Googulator37 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 22:11:08 | → | Googulator37 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 22:14:30 | × | mreh quits (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 256 seconds) |
| 2025-11-03 22:15:44 | × | Googulator37 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Client Quit) |
| 2025-11-03 22:15:45 | → | Googulator25 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 22:18:13 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2025-11-03 22:20:44 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds) |
| 2025-11-03 22:21:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-03 22:22:11 | × | deptype quits (~deptype@2406:b400:3a:73c2:392f:697:afd2:a634) (Remote host closed the connection) |
| 2025-11-03 22:22:24 | → | deptype joins (~deptype@2406:b400:3a:73c2:d1b:467e:12d5:ed7d) |
| 2025-11-03 22:26:14 | × | nerdychip_ quits (~nerdychip@212.129.82.165) (Changing host) |
| 2025-11-03 22:26:14 | → | nerdychip_ joins (~nerdychip@user/nerdychip) |
| 2025-11-03 22:26:18 | × | connrs quits (~connrs@user/connrs) (Remote host closed the connection) |
| 2025-11-03 22:26:23 | nerdychip_ | is now known as nerdychip |
| 2025-11-03 22:26:27 | → | connrs joins (~connrs@user/connrs) |
| 2025-11-03 22:31:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-03 22:36:32 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 2025-11-03 22:37:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
All times are in UTC.