Newest at the top
| 2026-05-01 17:09:05 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-05-01 17:00:05 +0000 | puke | (~puke@user/puke) puke |
| 2026-05-01 16:39:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-01 16:37:13 +0000 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2026-05-01 16:35:43 +0000 | r1bilski | (~r1bilski@user/r1bilski) (Ping timeout: 264 seconds) |
| 2026-05-01 16:35:24 +0000 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 255 seconds) |
| 2026-05-01 16:34:30 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 265 seconds) |
| 2026-05-01 16:34:23 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-05-01 16:32:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 16:28:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-01 16:27:00 +0000 | xdej | (~xdej@quatramaran.salle-s.org) xdej |
| 2026-05-01 16:25:28 +0000 | <int-e> | (It's a truly exceptional bit.) |
| 2026-05-01 16:24:05 +0000 | r1bilski | (~r1bilski@user/r1bilski) r1bilski |
| 2026-05-01 16:23:50 +0000 | r1bilski_ | (~r1bilski@user-46-112-240-248.play-internet.pl) (Remote host closed the connection) |
| 2026-05-01 16:23:50 +0000 | r1bilski_ | (~r1bilski@user-46-112-240-248.play-internet.pl) |
| 2026-05-01 16:23:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 16:23:41 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-05-01 16:19:03 +0000 | <alter2000> | errors fixed, LGTM |
| 2026-05-01 16:16:23 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-05-01 16:16:23 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:d50d:ba73:734:cf90) (Changing host) |
| 2026-05-01 16:16:23 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:d50d:ba73:734:cf90) |
| 2026-05-01 16:14:45 +0000 | <humasect> | uh oh |
| 2026-05-01 16:13:47 +0000 | <yahb2> | *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: **... |
| 2026-05-01 16:13:47 +0000 | <tomsmeding> | % Data.Function.fix error |
| 2026-05-01 16:12:57 +0000 | alter2000 | (~alter2000@user/alter2000) alter2000 |
| 2026-05-01 16:11:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-01 16:10:59 +0000 | <yahb2> | <interactive>:11:1: error: [GHC-88464] ; Variable not in scope: fix :: ([Char] -> a0) -> t |
| 2026-05-01 16:10:59 +0000 | <L29Ah> | % fix error |
| 2026-05-01 16:06:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 15:59:29 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2026-05-01 15:54:10 +0000 | <janus> | gentauro: yes. the t would be [] (list) and the m would be 'type' |
| 2026-05-01 15:53:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-01 15:53:15 +0000 | <gentauro> | janus: I have a list of types that I want to concat |
| 2026-05-01 15:50:43 +0000 | mrvdb- | (~mrvdb@185.92.221.186) (Ping timeout: 264 seconds) |
| 2026-05-01 15:49:50 +0000 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) mrvdb |
| 2026-05-01 15:48:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 15:45:29 +0000 | <janus> | gentauro: don't you want this instead of a custom foldl with mempty ? |
| 2026-05-01 15:45:17 +0000 | <yahb2> | fold :: (Foldable t, Monoid m) => t m -> m |
| 2026-05-01 15:45:17 +0000 | <janus> | % :t fold |
| 2026-05-01 15:45:15 +0000 | <yahb2> | <no output> |
| 2026-05-01 15:45:15 +0000 | <janus> | % import Data.Foldable |
| 2026-05-01 15:45:04 +0000 | <yahb2> | <interactive>:1:1: error: [GHC-88464] ; Variable not in scope: fold ; Suggested fix: ; Perhaps use one of these: ; ‘foldl’ (imported from Prelude), ‘foldr’ (imported from Prel... |
| 2026-05-01 15:45:04 +0000 | <janus> | % :t fold |
| 2026-05-01 15:40:06 +0000 | alhazrod | (uid662262@user/alhazrod) alhazrod |
| 2026-05-01 15:40:06 +0000 | alhazrod | (uid662262@id-662262.lymington.irccloud.com) (Changing host) |
| 2026-05-01 15:39:59 +0000 | alhazrod | (uid662262@id-662262.lymington.irccloud.com) |
| 2026-05-01 15:38:21 +0000 | dcb | (~dcb@user/dcb) dcb |
| 2026-05-01 15:36:35 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-05-01 15:36:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-01 15:34:20 +0000 | dcb | (~dcb@user/dcb) (Quit: MSN Messenger v1.10.1) |