Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 456 457 458 459 460 461 462 463 464 465 466 .. 17999
— 1,799,879 events total
2021-06-14 13:59:05 × autrim64[m] quits (~autrim64m@2001:470:69fc:105::16a1) (Read error: Connection reset by peer)
2021-06-14 13:59:05 × kosmikus[m] quits (~andresloe@2001:470:69fc:105::95d) (Read error: Connection reset by peer)
2021-06-14 13:59:05 × Soft quits (~soft-matr@2001:470:69fc:105::c75) (Read error: Connection reset by peer)
2021-06-14 14:01:19 → thedward[m] joins (~thedwardm@2001:470:69fc:105::f79)
2021-06-14 14:02:08 × dtman34 quits (~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) (Quit: ZNC 1.7.2+deb3 - https://znc.in)
2021-06-14 14:02:30 → flukiluke joins (~flukiluke@plum.alephc.xyz)
2021-06-14 14:02:44 → dtman34 joins (~dtman34@c-73-62-246-247.hsd1.mn.comcast.net)
2021-06-14 14:04:03 → fizbin joins (~fizbin@2601:8a:4080:1280:8c7e:5b3f:79d6:ec26)
2021-06-14 14:04:07 × jespada quits (~jespada@90.254.242.55) (Ping timeout: 268 seconds)
2021-06-14 14:05:21 × dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 268 seconds)
2021-06-14 14:06:40 → jespada joins (~jespada@90.254.242.55)
2021-06-14 14:07:11 × nsilv quits (~nsilv@212.103.198.210) (Quit: WeeChat 3.0.1)
2021-06-14 14:07:24 × dtman34 quits (~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) (Client Quit)
2021-06-14 14:08:02 → dtman34 joins (~dtman34@c-73-62-246-247.hsd1.mn.comcast.net)
2021-06-14 14:08:21 → siraben joins (~siraben@user/siraben)
2021-06-14 14:08:21 → sm[m] joins (~sm@plaintextaccounting/sm)
2021-06-14 14:08:21 → ac joins (~aloiscoch@2001:470:69fc:105::65)
2021-06-14 14:08:21 → psydroid joins (~psydroidm@2001:470:69fc:105::165)
2021-06-14 14:08:21 → hjulle[m] joins (~hjullemat@2001:470:69fc:105::1dd)
2021-06-14 14:08:21 → MatrixTravelerbo joins (~voyagert2@2001:470:69fc:105::22)
2021-06-14 14:08:22 → maralorn joins (~maralorn@2001:470:69fc:105::251)
2021-06-14 14:08:22 → jaror[m] joins (~jaror@2001:470:69fc:105::265)
2021-06-14 14:08:22 → fgaz joins (~fgaz@2001:470:69fc:105::842)
2021-06-14 14:08:22 → peddie joins (~peddie@2001:470:69fc:105::25d)
2021-06-14 14:08:22 → tomferon[m] joins (~tomferon@2001:470:69fc:105::268)
2021-06-14 14:08:23 → cdsmith joins (~cdsmithma@2001:470:69fc:105::284)
2021-06-14 14:08:23 → ru0mad[m] joins (~ru0madmat@2001:470:69fc:105::9b2)
2021-06-14 14:08:23 → marinelli[m] joins (~marinelli@2001:470:69fc:105::2d8)
2021-06-14 14:08:23 → fabfianda[m] joins (~fabfianda@2001:470:69fc:105::6db)
2021-06-14 14:08:23 → bb010g joins (~bb010gmat@2001:470:69fc:105::9a5)
2021-06-14 14:08:23 → Las[m] joins (~lasmatrix@2001:470:69fc:105::74e)
2021-06-14 14:08:23 → Artem[m] joins (~artemtype@2001:470:69fc:105::75b)
2021-06-14 14:08:24 → cdepillabout[m] joins (~cdepillab@2001:470:69fc:105::3d3)
2021-06-14 14:08:24 → ServerStatsDisco joins (~serversta@2001:470:69fc:105::1a)
2021-06-14 14:08:24 → the-coot[m] joins (~the-cootm@2001:470:69fc:105::95f)
2021-06-14 14:08:24 → eddiemundo joins (~eddiemund@2001:470:69fc:105::a9c)
2021-06-14 14:08:24 → vaibhavsagar[m] joins (~vaibhavsa@2001:470:69fc:105::ffe)
2021-06-14 14:08:25 → zfnmxt joins (~zfnmxtzfn@2001:470:69fc:105::2b32)
2021-06-14 14:08:25 → kadoban joins (~kadoban@user/kadoban)
2021-06-14 14:08:25 → bitonic joins (~bitonic@2001:470:69fc:105::1812)
2021-06-14 14:08:25 → carmysilna joins (~brightly-@2001:470:69fc:105::2190)
2021-06-14 14:08:25 → jophish joins (~jophish@2001:470:69fc:105::670)
2021-06-14 14:08:26 → unclechu joins (~unclechu@2001:470:69fc:105::354)
2021-06-14 14:08:26 → bryan[m] joins (~bchreekat@2001:470:69fc:105::16b5)
2021-06-14 14:08:26 → unrooted joins (~unrooted@2001:470:69fc:105::a4a)
2021-06-14 14:08:27 → jakefromstatefar joins (~jakefroms@2001:470:69fc:105::15ef)
2021-06-14 14:08:27 × Morrow quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 244 seconds)
2021-06-14 14:08:33 → maerwald[m] joins (~maerwaldm@2001:470:69fc:105::1ee)
2021-06-14 14:08:34 → dualinverter[m] joins (~dualinver@2001:470:69fc:105::16a7)
2021-06-14 14:08:34 → Morrow[m] joins (~morrowmma@2001:470:69fc:105::1d0)
2021-06-14 14:08:34 → srid[m] joins (~sridmatri@2001:470:69fc:105::1c2)
2021-06-14 14:08:36 → wallymathieu[m] joins (~wallymath@2001:470:69fc:105::16ae)
2021-06-14 14:08:36 → amesgen[m] joins (~amesgenam@2001:470:69fc:105::82b)
2021-06-14 14:08:36 → Drezil joins (~drezilkif@2001:470:69fc:105::7f8)
2021-06-14 14:08:36 → adziahel[m] joins (~adziahelm@2001:470:69fc:105::b4d)
2021-06-14 14:08:37 → kosmikus[m] joins (~andresloe@2001:470:69fc:105::95d)
2021-06-14 14:08:37 → Soft joins (~soft-matr@2001:470:69fc:105::c75)
2021-06-14 14:08:39 → oak- joins (~oakuniver@2001:470:69fc:105::fcd)
2021-06-14 14:08:39 → RohitGoswami[m] joins (~rgoswamim@2001:470:69fc:105::16cc)
2021-06-14 14:08:39 → yin[m] joins (~zwromatri@2001:470:69fc:105::1d4)
2021-06-14 14:08:39 → autrim64[m] joins (~autrim64m@2001:470:69fc:105::16a1)
2021-06-14 14:09:20 → Morrow joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net)
2021-06-14 14:10:16 → jneira_ joins (~jneira_@5.red-81-39-172.dynamicip.rima-tde.net)
2021-06-14 14:10:17 × xff0x_ quits (~xff0x@2001:1a81:521d:d300:6d92:b3ef:1f93:a591) (Ping timeout: 268 seconds)
2021-06-14 14:10:26 × fizbin quits (~fizbin@2601:8a:4080:1280:8c7e:5b3f:79d6:ec26) (Ping timeout: 252 seconds)
2021-06-14 14:10:51 → fishfinger joins (~fishfinge@cpc68330-cdif16-2-0-cust557.5-1.cable.virginm.net)
2021-06-14 14:11:31 → bontaq joins (~user@ool-18e47f8d.dyn.optonline.net)
2021-06-14 14:11:32 → xff0x_ joins (~xff0x@185.65.135.235)
2021-06-14 14:11:33 × xprlgjf quits (~gavin@60.27.93.209.dyn.plus.net) (Ping timeout: 244 seconds)
2021-06-14 14:14:21 × azeem quits (~azeem@dynamic-adsl-78-13-238-239.clienti.tiscali.it) (Read error: Connection reset by peer)
2021-06-14 14:14:35 → azeem joins (~azeem@dynamic-adsl-78-13-238-239.clienti.tiscali.it)
2021-06-14 14:16:48 <Schrostfutz_> Is there something like mapAdjacent in the Haskell standard library?: https://hackage.haskell.org/package/utility-ht-0.0.16/docs/Data-List-HT.html#v:mapAdjacent
2021-06-14 14:17:01 → dave_uy joins (~dave_uy@108.61.193.26)
2021-06-14 14:18:38 → fishfinger_ joins (~fishfinge@cpc68330-cdif16-2-0-cust557.5-1.cable.virginm.net)
2021-06-14 14:18:57 × fishfinger_ quits (~fishfinge@cpc68330-cdif16-2-0-cust557.5-1.cable.virginm.net) (Client Quit)
2021-06-14 14:19:02 → muto joins (~muto@d75-159-225-7.abhsia.telus.net)
2021-06-14 14:21:43 × psydroid quits (~psydroidm@2001:470:69fc:105::165) (Changing host)
2021-06-14 14:21:43 → psydroid joins (~psydroidm@user/psydroid)
2021-06-14 14:23:59 → jolly joins (~jolly@208.180.97.158)
2021-06-14 14:25:03 → haskman joins (~haskman@171.61.149.211)
2021-06-14 14:25:35 → beka_ joins (~beka@104.193.170-244.PUBLIC.monkeybrains.net)
2021-06-14 14:26:06 <larryba> @hoogle (a -> a -> b) -> [a] -> [b]
2021-06-14 14:26:07 <lambdabot> Data.List.HT mapAdjacent :: (a -> a -> b) -> [a] -> [b]
2021-06-14 14:26:07 <lambdabot> Test.Speculate.Utils zipWithReverse :: (a -> a -> b) -> [a] -> [b]
2021-06-14 14:26:07 <lambdabot> Test.Speculate.Utils medianate :: (a -> a -> b) -> [a] -> [b]
2021-06-14 14:26:52 <larryba> @hoogle (a -> a -> b) -> t a -> t b
2021-06-14 14:26:53 <lambdabot> Control.Lens.Combinators imap :: FunctorWithIndex i f => (i -> a -> b) -> f a -> f b
2021-06-14 14:26:53 <lambdabot> Control.Lens.Indexed imap :: FunctorWithIndex i f => (i -> a -> b) -> f a -> f b
2021-06-14 14:26:53 <lambdabot> Diagrams.Prelude imap :: FunctorWithIndex i f => (i -> a -> b) -> f a -> f b
2021-06-14 14:27:00 <larryba> probably not
2021-06-14 14:27:09 → Sgeo joins (~Sgeo@user/sgeo)
2021-06-14 14:28:17 × beka quits (~beka@104.193.170-244.PUBLIC.monkeybrains.net) (Ping timeout: 272 seconds)
2021-06-14 14:28:44 → jumper149 joins (~jumper149@80.240.31.34)
2021-06-14 14:29:20 × kayprish quits (~kayprish@cable-188-2-229-172.dynamic.sbb.rs) (Read error: Connection reset by peer)
2021-06-14 14:29:57 × xff0x_ quits (~xff0x@185.65.135.235) (Ping timeout: 244 seconds)
2021-06-14 14:30:02 <jumper149> Hi, is there a library providing a type-level list? So that I can write something like `[Int, String, Maybe ()]`.
2021-06-14 14:30:11 <jumper149> Or is that even possible with current GHC?
2021-06-14 14:30:23 <dminuoso> Zou can
2021-06-14 14:30:46 <larryba> why not use a tuple instead?
2021-06-14 14:30:47 <jumper149> Also it would be nice when the kind was constrained, so `[Int, Maybe]` doesn't typecheck
←Prev  Next→
Page 1 .. 456 457 458 459 460 461 462 463 464 465 466 .. 17999

All times are in UTC.