Logs: liberachat/#haskell
| 2026-03-20 09:57:53 | <lambdabot> | Left [3,4] |
| 2026-03-20 09:59:40 | astra | is now known as amish |
| 2026-03-20 10:00:09 | amish | is now known as Guest8340 |
| 2026-03-20 10:00:28 | <int-e> | > getAp . foldMap Ap $ [Left [1], Left [2]] |
| 2026-03-20 10:00:29 | <lambdabot> | Left [1] |
| 2026-03-20 10:00:55 | Guest8340 | is now known as astra |
| 2026-03-20 10:01:39 | <int-e> | regardless, clever |
| 2026-03-20 10:01:57 | → | tri joins (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-20 10:04:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 10:06:37 | astra | is now known as amish |
| 2026-03-20 10:06:53 | × | amish quits (sid289983@id-289983.hampstead.irccloud.com) (Changing host) |
| 2026-03-20 10:06:53 | → | amish joins (sid289983@user/amish) |
| 2026-03-20 10:08:45 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-03-20 10:10:54 | amish | is now known as astra |
| 2026-03-20 10:16:59 | <newmind> | % :t uncurry (\ls rs -> bool (Left ls) (Right rs) (null ls)) . bimap concat concat . partitionEithers |
| 2026-03-20 10:16:59 | <yahb2> | <interactive>:1:20: error: [GHC-88464] ; Variable not in scope: ; bool :: Either (t2 a2) b1 -> Either a3 b2 -> Bool -> c ; ; <interactive>:1:59: error: [GHC-88464] ; Variable not in ... |
| 2026-03-20 10:19:27 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 10:20:08 | → | Freakie joins (~Freakie@37.96.11.80) |
| 2026-03-20 10:22:38 | × | madresch quits (~Thunderbi@user/madresch) (Ping timeout: 256 seconds) |
| 2026-03-20 10:23:35 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:85cb:5d02:5632:2f7c) |
| 2026-03-20 10:23:35 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:85cb:5d02:5632:2f7c) (Changing host) |
| 2026-03-20 10:23:35 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-20 10:23:46 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-20 10:29:54 | × | nitrix quits (~nitrix@user/meow/nitrix) (Remote host closed the connection) |
| 2026-03-20 10:30:42 | × | somemathguy quits (~somemathg@user/somemathguy) (Ping timeout: 248 seconds) |
| 2026-03-20 10:31:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 10:33:50 | → | nitrix joins (~nitrix@user/meow/nitrix) |
| 2026-03-20 10:34:01 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 276 seconds) |
| 2026-03-20 10:34:54 | → | madresch joins (~Thunderbi@user/madresch) |
| 2026-03-20 10:36:02 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-20 10:36:28 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:55d9:690d:58e3:8491) |
| 2026-03-20 10:36:28 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:55d9:690d:58e3:8491) (Changing host) |
| 2026-03-20 10:36:28 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-20 10:37:24 | → | acidjnk_new joins (~acidjnk@p200300d6e700e545b138643e76a029bb.dip0.t-ipconnect.de) |
| 2026-03-20 10:40:19 | × | acidjnk_new3 quits (~acidjnk@p200300d6e700e541daf6366eab32adad.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2026-03-20 10:42:19 | × | craunts795335385 quits (~craunts@152.32.99.2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-03-20 10:43:25 | → | somemathguy joins (~somemathg@user/somemathguy) |
| 2026-03-20 10:47:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 10:48:14 | → | craunts795335385 joins (~craunts@152.32.99.2) |
| 2026-03-20 10:51:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-20 10:52:23 | → | __monty__ joins (~toonn@user/toonn) |
| 2026-03-20 10:55:39 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-03-20 11:02:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 11:04:29 | × | tri quits (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2026-03-20 11:06:24 | × | Freakie quits (~Freakie@37.96.11.80) (Quit: Client closed) |
| 2026-03-20 11:06:50 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-20 11:07:28 | → | tri joins (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-20 11:07:53 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-03-20 11:12:30 | × | tri quits (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2026-03-20 11:14:31 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-03-20 11:14:36 | → | divlamir_ joins (~divlamir@user/divlamir) |
| 2026-03-20 11:15:27 | divlamir_ | is now known as divlamir |
| 2026-03-20 11:16:22 | <gentauro> | :t getAp |
| 2026-03-20 11:16:23 | <lambdabot> | forall {k} (f :: k -> *) (a :: k). Ap f a -> f a |
| 2026-03-20 11:17:34 | × | puke quits (~puke@user/puke) (Ping timeout: 276 seconds) |
| 2026-03-20 11:17:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 11:18:30 | × | CiaoSen quits (~Jura@p549cb690.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2026-03-20 11:19:09 | × | ZLima12 quits (~zlima12@user/meow/ZLima12) (Ping timeout: 246 seconds) |
| 2026-03-20 11:23:33 | → | tri joins (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-20 11:24:42 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-03-20 11:27:49 | × | tri quits (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2026-03-20 11:32:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 11:33:04 | → | tri joins (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-20 11:37:03 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-20 11:37:30 | × | tri quits (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2026-03-20 11:48:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 11:49:56 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-03-20 11:49:56 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-03-20 11:49:56 | → | haritz joins (~hrtz@user/haritz) |
| 2026-03-20 11:52:20 | → | tri joins (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-20 11:52:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-20 11:55:49 | × | mrvdb quits (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-03-20 11:56:50 | × | tri quits (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2026-03-20 11:56:51 | → | mrvdb joins (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) |
| 2026-03-20 11:57:40 | × | somemathguy quits (~somemathg@user/somemathguy) (Ping timeout: 245 seconds) |
| 2026-03-20 11:59:08 | → | jreicher joins (~joelr@user/jreicher) |
| 2026-03-20 11:59:50 | → | Freakie joins (~Freakie@37.96.11.80) |
| 2026-03-20 12:02:05 | → | tri joins (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-20 12:03:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 12:06:33 | × | tri quits (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2026-03-20 12:07:46 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-20 12:10:57 | → | Googulator joins (~Googulato@team.broadbit.hu) |
| 2026-03-20 12:12:41 | → | vulpine joins (xfnw@user/meow/xfnw) |
| 2026-03-20 12:18:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 12:23:23 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-03-20 12:27:33 | → | somemathguy joins (~somemathg@user/somemathguy) |
| 2026-03-20 12:30:42 | → | CiaoSen joins (~Jura@p549cb690.dip0.t-ipconnect.de) |
| 2026-03-20 12:33:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 12:37:57 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-03-20 12:39:00 | → | tri joins (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-20 12:40:31 | × | edwtjo quits (~edwtjo@fsf/member/edwtjo) (Ping timeout: 264 seconds) |
| 2026-03-20 12:43:09 | × | tri quits (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2026-03-20 12:46:48 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:804d:635c:62ff:74ac) |
| 2026-03-20 12:46:48 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:804d:635c:62ff:74ac) (Changing host) |
| 2026-03-20 12:46:48 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-20 12:48:11 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-03-20 12:49:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-20 12:49:49 | × | AlexZenon quits (~alzenon@178.34.151.138) (Quit: ;-) |
| 2026-03-20 12:50:00 | × | Alex_delenda_est quits (~al_test@178.34.151.138) (Quit: ;-) |
| 2026-03-20 12:50:37 | × | AlexNoo quits (~AlexNoo@178.34.151.138) (Quit: Leaving) |
All times are in UTC.