Newest at the top
| 2024-11-11 00:23:58 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-11-11 00:20:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-11 00:20:18 +0100 | Everything | (~Everythin@178-133-13-61.mobile.vf-ua.net) (Quit: leaving) |
| 2024-11-11 00:16:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 00:12:58 +0100 | noctux | (~noctux@user/noctux) noctux |
| 2024-11-11 00:12:44 +0100 | noctux | (~noctux@user/noctux) (Ping timeout: 260 seconds) |
| 2024-11-11 00:09:48 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-11-11 00:05:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-11 00:04:45 +0100 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2024-11-11 00:00:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-10 23:54:24 +0100 | <yin> | thanks |
| 2024-11-10 23:53:45 +0100 | <yin> | ncf: i just couldn't think about something better than singleton and <> |
| 2024-11-10 23:53:38 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-10 23:52:24 +0100 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2024-11-10 23:49:29 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-11-10 23:49:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-10 23:41:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-10 23:36:55 +0100 | <int-e> | I forgot the sigil :P |
| 2024-11-10 23:36:31 +0100 | <lambdabot> | Alternative f => a -> f a -> f a |
| 2024-11-10 23:36:30 +0100 | <ncf> | :t \x xs -> pure x <|> xs |
| 2024-11-10 23:36:15 +0100 | <ncf> | oh yeah that's basically what Alternative is isn't it |
| 2024-11-10 23:36:14 +0100 | <lambdabot> | Alternative f => f a -> f a -> f a |
| 2024-11-10 23:36:13 +0100 | <int-e> | :t (<|>) |
| 2024-11-10 23:35:45 +0100 | <lambdabot> | MonadPlus m => m a -> m a -> m a |
| 2024-11-10 23:35:44 +0100 | <int-e> | :t mplus |
| 2024-11-10 23:35:29 +0100 | <ncf> | or semigroups |
| 2024-11-10 23:35:08 +0100 | <lambdabot> | (Semigroup (f a), Applicative f) => a -> f a -> f a |
| 2024-11-10 23:35:07 +0100 | <ncf> | :t \x xs -> pure x <> xs |
| 2024-11-10 23:34:59 +0100 | <ncf> | that makes sense for Applicatives valued in Monoids i guess |
| 2024-11-10 23:31:16 +0100 | pera | (~pera@user/pera) (Quit: leaving) |
| 2024-11-10 23:31:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-10 23:30:17 +0100 | <yin> | i was thinking of something more like `x :? xs = singleton x <> xs` |
| 2024-11-10 23:29:38 +0100 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) (Ping timeout: 252 seconds) |
| 2024-11-10 23:28:15 +0100 | <yin> | ah thta's noce |
| 2024-11-10 23:28:00 +0100 | <lambdabot> | Cons b b a a => a -> b -> b |
| 2024-11-10 23:27:59 +0100 | <ncf> | :t (:<) |
| 2024-11-10 23:27:43 +0100 | <ncf> | Cons exists https://hackage.haskell.org/package/lens-5.3.2/docs/Control-Lens-Combinators.html#t:Cons |
| 2024-11-10 23:27:09 +0100 | <yin> | i'm thinking for Foldable but i understand that wouldn't be right |
| 2024-11-10 23:26:54 +0100 | <lambdabot> | a -> [a] -> [a] |
| 2024-11-10 23:26:53 +0100 | <sshine> | :t (:) |
| 2024-11-10 23:26:38 +0100 | <yin> | is there a generalization of (:) ? |
| 2024-11-10 23:25:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-10 23:16:12 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-11-10 23:12:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-10 23:11:22 +0100 | CoolMa7 | (~CoolMa7@95.91.137.87) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2024-11-10 23:07:16 +0100 | halloy6033 | (~halloy603@a89-152-101-97.cpe.netcabo.pt) |
| 2024-11-10 23:05:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-10 23:00:51 +0100 | ljdarj1 | ljdarj |
| 2024-11-10 23:00:49 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2024-11-10 22:58:33 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |