Logs on 2025-08-16 (liberachat/#haskell)
| 00:06:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:09:31 | × | trickard quits (~trickard@cpe-89-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 00:09:44 | → | trickard_ joins (~trickard@cpe-89-98-47-163.wireline.com.au) |
| 00:10:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 00:11:20 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 00:21:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:25:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 00:36:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:41:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 00:45:13 | × | andjjj23 quits (~irc@107.170.228.47) (Server closed connection) |
| 00:45:31 | → | andjjj23 joins (~irc@107.170.228.47) |
| 00:52:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:57:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 01:23:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:27:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 01:30:15 | × | nonzen quits (~nonzen@user/nonzen) (Server closed connection) |
| 01:30:31 | → | nonzen joins (~nonzen@user/nonzen) |
| 01:37:52 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 276 seconds) |
| 01:37:53 | × | ttybitnik quits (~ttybitnik@user/wolper) (Read error: Connection reset by peer) |
| 01:38:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:45:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 01:54:56 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 01:55:59 | × | Aleksejs quits (~Aleksejs@107.170.21.106) (Server closed connection) |
| 01:56:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:57:39 | → | trickard__ joins (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 01:57:52 | × | trickard_ quits (~trickard@cpe-89-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 02:01:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 02:06:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:08:53 | → | harveypwca joins (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) |
| 02:09:08 | → | Aleksejs joins (~Aleksejs@107.170.21.106) |
| 02:09:42 | × | td_ quits (~td@i53870931.versanet.de) (Ping timeout: 252 seconds) |
| 02:11:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 02:11:31 | → | td_ joins (~td@i5387093C.versanet.de) |
| 02:20:05 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 02:22:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:26:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 02:34:36 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 02:37:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:39:56 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 02:42:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 03:05:45 | × | trickard__ quits (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 03:05:57 | → | trickard_ joins (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 03:08:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:13:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 03:14:45 | → | aforemny_ joins (~aforemny@i59F4C42F.versanet.de) |
| 03:15:29 | × | aforemny quits (~aforemny@2001:9e8:6cc7:9c00:e76d:c479:de30:f450) (Ping timeout: 260 seconds) |
| 03:17:43 | <jreicher> | ackthet: I'd be interesting in knowing which text you go with, and what you think of it once you're done. |
| 03:19:09 | <jreicher> | In my personal opinion learning Haskell is more sensitive to the person's background than other languages. If you're already familiar with currying, recursion, and static type checking, then there's substantially less to learn. But if all of those things are new then it's a bumpier ride than learning a language that doesn't have them. |
| 03:23:33 | → | weary-traveler joins (~user@user/user363627) |
| 03:24:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:25:59 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 03:26:45 | × | trickard_ quits (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 03:26:59 | → | trickard_ joins (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 03:30:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 03:33:36 | × | hellwolf quits (~user@7e2c-7670-28a5-bf31-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 272 seconds) |
| 03:39:06 | → | hellwolf joins (~user@f740-b0c9-552c-fa55-0f00-4d40-07d0-2001.sta.estpak.ee) |
| 03:48:51 | × | jreicher quits (~user@user/jreicher) (Quit: Upgrading) |
| 03:59:55 | → | jreicher joins (~user@user/jreicher) |
| 04:00:57 | → | hyletic joins (~textual@user/hyletic) |
| 04:03:56 | × | davidlbowman quits (~dlb@user/davidlbowman) (Ping timeout: 244 seconds) |
| 04:07:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:09:23 | × | trickard_ quits (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 04:09:36 | → | trickard_ joins (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 04:12:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 04:12:46 | → | alosentea joins (~halloy255@185.142.222.157) |
| 04:16:14 | × | trickard_ quits (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 04:18:34 | ← | alosentea parts (~halloy255@185.142.222.157) () |
| 04:19:42 | → | trickard_ joins (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 04:20:00 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 04:20:01 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 04:20:16 | → | alosentea joins (~halloy255@user/alosentea) |
| 04:22:03 | <alosentea> | Hello? |
| 04:22:03 | × | jreicher quits (~user@user/jreicher) (Quit: In transit) |
| 04:23:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:23:39 | × | trickard_ quits (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 04:27:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 04:30:23 | → | trickard_ joins (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 04:30:54 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection) |
| 04:31:32 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) |
| 04:33:37 | ← | alosentea parts (~halloy255@user/alosentea) () |
| 04:41:56 | → | jreicher joins (~user@user/jreicher) |
| 04:44:43 | trickard_ | is now known as trickard |
| 04:47:50 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 04:48:33 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 04:48:37 | → | euphores joins (~SASL_euph@user/euphores) |
| 04:53:34 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 04:58:20 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 05:00:15 | × | jreicher quits (~user@user/jreicher) (Read error: Connection reset by peer) |
| 05:01:54 | → | jreicher joins (~user@user/jreicher) |
| 05:08:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:11:34 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 05:13:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 05:17:36 | → | euphores joins (~SASL_euph@user/euphores) |
| 05:40:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:45:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 05:47:58 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 05:55:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:56:30 | → | elbear joins (~lucian@109.166.131.102) |
| 06:00:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 06:04:10 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 06:05:27 | × | hyletic quits (~textual@user/hyletic) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 06:05:28 | → | img joins (~img@user/img) |
| 06:05:46 | → | Koterpillar joins (~Koterpill@2406:3400:31f:5390:639a:7300:b8dc:d253) |
| 06:07:33 | → | hyletic joins (~textual@user/hyletic) |
| 06:09:16 | × | Koterpillar quits (~Koterpill@2406:3400:31f:5390:639a:7300:b8dc:d253) (Client Quit) |
| 06:09:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:10:31 | × | elbear quits (~lucian@109.166.131.102) (Ping timeout: 244 seconds) |
| 06:14:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 06:21:32 | → | elbear joins (~lucian@109.166.131.102) |
| 06:39:19 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 06:44:08 | → | acidjnk joins (~acidjnk@p200300d6e71719258dd078e54dfb8b84.dip0.t-ipconnect.de) |
| 06:48:15 | × | Square2 quits (~Square@user/square) (Ping timeout: 252 seconds) |
| 06:53:39 | → | tromp joins (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) |
| 06:55:08 | × | Noinia quits (~Frank@77-162-168-71.fixed.kpn.net) (Server closed connection) |
| 06:55:15 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 06:55:22 | → | Noinia joins (~Frank@77-162-168-71.fixed.kpn.net) |
| 06:55:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:00:01 | × | caconym747 quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 07:00:42 | → | caconym747 joins (~caconym@user/caconym) |
| 07:05:31 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:09:42 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 07:10:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:10:52 | × | werneta quits (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 260 seconds) |
| 07:15:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 07:20:10 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 07:20:19 | × | jrm quits (~jrm@user/jrm) (Quit: ciao) |
| 07:20:35 | → | jrm joins (~jrm@user/jrm) |
| 07:22:06 | × | trickard quits (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 07:22:19 | → | trickard_ joins (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 07:24:26 | <haskellbridge> | <sm> davros1 https://joyful.com/Haskell+games |
| 07:26:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:30:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 07:33:30 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 07:41:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:45:04 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 07:46:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 07:56:38 | × | elbear quits (~lucian@109.166.131.102) (Ping timeout: 245 seconds) |
| 07:58:48 | × | acidjnk quits (~acidjnk@p200300d6e71719258dd078e54dfb8b84.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 08:02:45 | × | hyletic quits (~textual@user/hyletic) (Quit: Textual IRC Client: www.textualapp.com) |
| 08:05:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:11:29 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 08:12:00 | → | elbear joins (~lucian@109.166.131.102) |
| 08:13:25 | × | trickard_ quits (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 08:13:39 | → | trickard_ joins (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 08:14:07 | × | harveypwca quits (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
| 08:15:38 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 08:16:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 08:20:23 | → | hyletic joins (~textual@user/hyletic) |
| 08:26:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:31:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 08:32:17 | → | petrichor joins (~jez@user/petrichor) |
| 08:38:17 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 08:42:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:46:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 08:48:11 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 08:51:34 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 08:53:05 | × | trickard_ quits (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 08:53:17 | → | trickard_ joins (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 08:54:05 | × | hyletic quits (~textual@user/hyletic) (Quit: Textual IRC Client: www.textualapp.com) |
| 08:56:05 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 08:56:36 | × | jreicher quits (~user@user/jreicher) (Quit: In transit) |
| 08:57:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:01:17 | → | sprotte24 joins (~sprotte24@p200300d16f25fb005c76564b71b01fdc.dip0.t-ipconnect.de) |
| 09:02:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 09:06:22 | → | todi joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 09:11:38 | × | elbear quits (~lucian@109.166.131.102) (Ping timeout: 245 seconds) |
| 09:12:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:13:00 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 09:17:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 09:24:05 | × | trickard_ quits (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 09:24:18 | → | trickard_ joins (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 09:30:51 | → | jreicher joins (~user@user/jreicher) |
| 09:33:14 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 09:40:21 | <ackthet> | jreicher: agreed. I do have a fairly strong math background so might like more of that angle which many texts tend to ignore |
| 09:41:19 | <ackthet> | *intro texts I mean |
| 09:43:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:45:34 | <jreicher> | ackthet: I'm not sure whether a math background helps, but emphasis on "not sure". A logic background certainly helps, as a type system is logistic, and a math background might help in the relationship between recurrence relations and recursion, but functional programming is declarative, and I'm not sure if even maths gives you a background in that. |
| 09:46:36 | trickard_ | is now known as trickard |
| 09:47:44 | <ackthet> | jreicher: i think certain types of math do, but not the types I was exposed to |
| 09:48:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 09:48:24 | <ackthet> | i'm the least worried about the type system. that make a lot of sense on pervious attempts, and it was my favorite thing about the lang |
| 09:48:58 | <jreicher> | I recall you mentioning a background in physics, so I'm guessing you have calculus, PDEs, vector calculus, and tensors. |
| 09:50:31 | <ackthet> | yep. i also got a 2nd BS in math so I've done real analysis, proofs, modern algebra etc |
| 09:51:15 | <davros1> | haskellbridge, thanks |
| 09:51:33 | <yin> | what's the most idiomatic way of having something like `on compare length [0..9] [0..]` return LT instead of hanging? |
| 09:58:30 | <Leary> | Maths is very declarative, in very much the same way as Haskell. Typical mathematical function definitions (perhaps using induction) translate very directly to Haskell implementation (perhaps with recursion). |
| 09:59:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:00:24 | <Leary> | yin: I don't know about idiomatic, but I like `compare (void xs) (void ys)`. |
| 10:01:33 | × | Beowulf quits (florian@gabilgathol.bandrate.org) (Quit: = "") |
| 10:05:22 | <yin> | Leary: that's not bad at all! thanks |
| 10:05:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 10:06:03 | <yin> | am I misunderstanding or is https://hackage-content.haskell.org/package/ghc-bignum-1.3/docs/src/GHC.Num.Natural.html#Natural not a type-level nat at all? |
| 10:08:30 | → | Beowulf joins (florian@gabilgathol.bandrate.org) |
| 10:08:33 | <yin> | because GHC.TypeNats.Nat is just a synonym to that |
| 10:10:24 | <jreicher> | Leary: It depends what you mean by "maths". In personal opinion maths is proof, and that's not declarative. |
| 10:13:25 | <Leary> | Maths proceeds though rigourous deduction, yes, but in the process of doing so a great number definitions are declared. |
| 10:14:20 | <Leary> | You can further argue that the proofs are declarative too, if you want to go Curry-Howard. |
| 10:18:41 | <Leary> | yin: DataKinds is in effect, lifting the `Natural` type of value-level nats to the `Natural` kind of type-level nats. |
| 10:19:39 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 10:21:50 | → | poscat joins (~poscat@user/poscat) |
| 10:23:10 | × | poscat0x04 quits (~poscat@user/poscat) (Ping timeout: 255 seconds) |
| 10:29:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:29:35 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 10:33:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 10:34:29 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 10:36:58 | <yin> | Leary: i was under the impression there was a Peano Nats module somewhere. that's what i was searching for |
| 10:40:05 | <Leary> | Not that I'm aware of. In fact, even outside of 'base', I only see people roll their own. |
| 10:43:20 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 10:44:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:49:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 10:54:27 | → | elbear joins (~lucian@109.166.131.102) |
| 10:54:31 | × | Vq quits (~vq@81-226-147-244-no600.tbcn.telia.com) (Server closed connection) |
| 10:54:46 | → | Vq joins (~vq@81-226-147-244-no600.tbcn.telia.com) |
| 10:57:52 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 10:58:43 | × | elbear quits (~lucian@109.166.131.102) (Ping timeout: 245 seconds) |
| 11:00:04 | × | caconym747 quits (~caconym@user/caconym) (Quit: bye) |
| 11:00:05 | × | tromp quits (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:00:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:02:21 | → | caconym747 joins (~caconym@user/caconym) |
| 11:04:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 11:14:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:16:13 | <yin> | fair enough |
| 11:16:44 | → | tremon joins (~tremon@83.80.159.219) |
| 11:18:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 11:23:44 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 11:23:45 | × | trickard quits (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 11:24:21 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 11:25:03 | Lord_of_Life_ | is now known as Lord_of_Life |
| 11:26:29 | → | trickard_ joins (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 11:29:54 | → | elbear joins (~lucian@109.166.131.102) |
| 11:30:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:36:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 11:39:33 | × | gawen quits (~gawen@user/gawen) (Server closed connection) |
| 11:40:46 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 11:40:52 | → | gawen joins (~gawen@user/gawen) |
| 11:41:53 | → | califax joins (~califax@user/califx) |
| 11:43:46 | × | elbear quits (~lucian@109.166.131.102) (Ping timeout: 244 seconds) |
| 11:47:51 | × | acro quits (~acro@user/acro) (Server closed connection) |
| 11:48:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:49:38 | → | elbear joins (~lucian@109.166.131.102) |
| 11:51:12 | → | acro joins (~acro@user/acro) |
| 11:51:26 | trickard_ | is now known as trickard |
| 11:52:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 12:08:30 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Server closed connection) |
| 12:08:56 | → | gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 12:15:49 | × | elbear quits (~lucian@109.166.131.102) (Ping timeout: 248 seconds) |
| 12:20:34 | × | trickard quits (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 12:20:47 | → | trickard_ joins (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 12:25:37 | × | trickard_ quits (~trickard@cpe-90-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 12:28:01 | × | puke quits (~puke@user/puke) (Ping timeout: 248 seconds) |
| 12:29:17 | → | puke joins (~puke@user/puke) |
| 12:31:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:31:21 | → | trickard_ joins (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 12:34:54 | trickard_ | is now known as trickard |
| 12:35:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 12:46:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:49:01 | → | haritz joins (~hrtz@209.35.65.79) |
| 12:49:01 | × | haritz quits (~hrtz@209.35.65.79) (Changing host) |
| 12:49:01 | → | haritz joins (~hrtz@user/haritz) |
| 12:51:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 12:51:40 | → | tromp joins (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) |
| 12:59:31 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 13:17:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:24:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 13:28:37 | → | athan joins (~athan@syn-047-132-161-157.res.spectrum.com) |
| 13:33:16 | × | tromp quits (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:35:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:37:09 | → | tromp joins (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) |
| 13:40:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 13:42:53 | × | trickard quits (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 13:43:05 | → | trickard joins (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 13:50:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:55:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 13:55:48 | × | tromp quits (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:00:15 | → | tromp joins (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) |
| 14:00:31 | → | hyletic joins (~textual@208.67.108.99) |
| 14:00:31 | × | hyletic quits (~textual@208.67.108.99) (Changing host) |
| 14:00:31 | → | hyletic joins (~textual@user/hyletic) |
| 14:05:47 | × | visilii_ quits (~visilii@188.254.110.187) (Ping timeout: 252 seconds) |
| 14:06:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:09:22 | × | oxapentane quits (~oxapentan@user/oxapentane) (Remote host closed the connection) |
| 14:09:52 | → | oxapentane joins (~oxapentan@user/oxapentane) |
| 14:10:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 14:21:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:26:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 14:29:30 | × | tromp quits (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:35:28 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 14:37:57 | → | davidlbowman joins (~dlb@user/davidlbowman) |
| 14:46:07 | × | srk quits (~sorki@user/srk) (Server closed connection) |
| 14:46:09 | × | hyletic quits (~textual@user/hyletic) (Ping timeout: 260 seconds) |
| 14:51:32 | → | tromp joins (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) |
| 14:53:24 | → | srk joins (~sorki@user/srk) |
| 14:54:25 | × | esph quits (~weechat@user/esph) (Server closed connection) |
| 14:58:28 | → | hyletic joins (~textual@user/hyletic) |
| 15:00:04 | → | esph joins (~weechat@user/esph) |
| 15:04:53 | × | hyletic quits (~textual@user/hyletic) (Read error: Connection reset by peer) |
| 15:07:20 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 15:08:06 | → | hyletic joins (~textual@89.105.214.110) |
| 15:08:06 | × | hyletic quits (~textual@89.105.214.110) (Changing host) |
| 15:08:06 | → | hyletic joins (~textual@user/hyletic) |
| 15:25:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:29:58 | × | hyletic quits (~textual@user/hyletic) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 15:30:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 15:32:21 | → | hyletic joins (~textual@user/hyletic) |
| 15:32:24 | → | harveypwca joins (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) |
| 15:35:37 | → | qqe joins (~qqq@185.54.20.59) |
| 15:39:10 | × | hyletic quits (~textual@user/hyletic) (Read error: Connection reset by peer) |
| 15:40:27 | → | hyletic joins (~textual@user/hyletic) |
| 15:41:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:45:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 15:56:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:59:04 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 15:59:07 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 16:01:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 16:03:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:07:37 | × | hyletic quits (~textual@user/hyletic) (Read error: Connection reset by peer) |
| 16:07:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 16:09:39 | → | hyletic joins (~textual@89.105.214.110) |
| 16:09:39 | × | hyletic quits (~textual@89.105.214.110) (Changing host) |
| 16:09:39 | → | hyletic joins (~textual@user/hyletic) |
| 16:12:18 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 16:18:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:21:59 | → | wuboy joins (~wuboy@user/scobydoo) |
| 16:23:00 | → | ss4 joins (~wootehfoo@user/wootehfoot) |
| 16:23:17 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 16:25:21 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 244 seconds) |
| 16:28:11 | wuboy | is now known as whatsupboy |
| 16:29:55 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 16:30:18 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 16:30:50 | × | tv quits (~tv@user/tv) (Read error: Connection reset by peer) |
| 16:30:53 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Client Quit) |
| 16:33:19 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 16:33:55 | → | Square2 joins (~Square@user/square) |
| 16:36:57 | → | fp joins (~Thunderbi@89-27-10-140.bb.dnainternet.fi) |
| 16:37:19 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 16:40:09 | → | fp1 joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) |
| 16:41:29 | × | trickard quits (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 16:41:42 | → | trickard_ joins (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 16:43:26 | × | fp quits (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 244 seconds) |
| 16:43:26 | fp1 | is now known as fp |
| 16:45:46 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 16:46:12 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 16:48:07 | × | tromp quits (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:54:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:56:48 | → | hyletic_ joins (~textual@185.107.57.10) |
| 16:57:18 | × | hyletic_ quits (~textual@185.107.57.10) (Client Quit) |
| 16:57:34 | × | hyletic quits (~textual@user/hyletic) (Ping timeout: 244 seconds) |
| 16:58:34 | → | hyletic joins (~textual@user/hyletic) |
| 16:59:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 17:04:37 | × | davidlbowman quits (~dlb@user/davidlbowman) (Ping timeout: 244 seconds) |
| 17:05:18 | × | ttybitnik quits (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 17:06:24 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 17:09:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:11:00 | → | tromp joins (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) |
| 17:12:46 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 17:14:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 17:15:57 | × | sshine quits (~simon@dao.mechanicus.xyz) (Server closed connection) |
| 17:21:13 | → | sshine joins (~simon@2a01:4f8:1c0c:718c::1) |
| 17:21:41 | × | harveypwca quits (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
| 17:45:14 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 260 seconds) |
| 17:51:07 | × | athan quits (~athan@syn-047-132-161-157.res.spectrum.com) (Ping timeout: 244 seconds) |
| 17:52:06 | → | tv joins (~tv@user/tv) |
| 17:53:37 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 17:57:19 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 17:57:19 | ljdarj1 | is now known as ljdarj |
| 18:08:06 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 18:08:18 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 18:15:28 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 18:15:48 | → | acidjnk joins (~acidjnk@p200300d6e717197388c3d57515e3973f.dip0.t-ipconnect.de) |
| 18:19:17 | × | whatsupboy quits (~wuboy@user/scobydoo) (Quit: brb) |
| 18:20:47 | × | qqe quits (~qqq@185.54.20.59) (Quit: Lost terminal) |
| 18:21:36 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 18:24:28 | → | poop254 joins (~poop254@148.252.146.221) |
| 18:25:02 | × | ss4 quits (~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds) |
| 18:26:12 | × | poop254 quits (~poop254@148.252.146.221) (Client Quit) |
| 18:27:17 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 18:33:30 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 18:44:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:45:55 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 18:47:25 | → | fp joins (~Thunderbi@89-27-10-140.bb.dnainternet.fi) |
| 18:49:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 18:50:15 | → | fp1 joins (~Thunderbi@2001-14ba-6e24-3000--19a.rev.dnainternet.fi) |
| 18:53:38 | × | fp quits (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 244 seconds) |
| 18:53:38 | fp1 | is now known as fp |
| 19:00:03 | × | caconym747 quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:43 | → | caconym747 joins (~caconym@user/caconym) |
| 19:03:07 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 19:05:36 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 19:06:08 | → | ss4 joins (~wootehfoo@user/wootehfoot) |
| 19:08:36 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--19a.rev.dnainternet.fi) (Ping timeout: 256 seconds) |
| 19:15:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:20:36 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 19:21:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 19:22:43 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 19:25:53 | <hololeap> | just curious, is there a data type that is Foldable and is always empty? i.e. toList x = [] |
| 19:26:09 | × | ft quits (~ft@p508db692.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 19:27:22 | <hololeap> | looks like Const |
| 19:27:36 | <hololeap> | instance Foldable (Const m) where foldMap _ _ = mempty |
| 19:31:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:32:30 | → | ft joins (~ft@p200300cf3f165900e109d4f322676623.dip0.t-ipconnect.de) |
| 19:34:35 | → | weary-traveler joins (~user@user/user363627) |
| 19:35:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 19:44:55 | × | ss4 quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 19:46:27 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 19:48:29 | × | remedan quits (~remedan@78-80-80-127.customers.tmcz.cz) (Server closed connection) |
| 19:50:59 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Ping timeout: 244 seconds) |
| 19:56:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:00:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 20:05:43 | × | Pozyomka quits (~pyon@user/pyon) (Quit: brb) |
| 20:07:39 | → | remedan joins (~remedan@78-80-80-127.customers.tmcz.cz) |
| 20:10:14 | → | werneta joins (~werneta@syn-071-083-160-242.res.spectrum.com) |
| 20:10:49 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 20:14:29 | × | myxos quits (~myxos@syn-065-028-251-121.res.spectrum.com) (Remote host closed the connection) |
| 20:20:54 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Ping timeout: 252 seconds) |
| 20:22:21 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 20:27:10 | → | merijn joins (~merijn@62.45.137.128) |
| 20:28:17 | × | trickard_ quits (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 20:28:27 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 20:28:31 | → | trickard_ joins (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 20:31:49 | × | merijn quits (~merijn@62.45.137.128) (Ping timeout: 248 seconds) |
| 20:35:10 | → | Axma60037 joins (~Axman6@user/axman6) |
| 20:35:33 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Ping timeout: 248 seconds) |
| 20:36:33 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 20:39:38 | → | athan joins (~athan@syn-174-106-168-248.res.spectrum.com) |
| 20:42:37 | → | merijn joins (~merijn@62.45.137.128) |
| 20:43:39 | → | pavonia joins (~user@user/siracusa) |
| 20:43:54 | → | Pozyomka joins (~pyon@user/pyon) |
| 20:43:57 | × | Axman6 quits (~Axman6@user/axman6) (*.net *.split) |
| 20:44:19 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 20:45:27 | × | Pozyomka quits (~pyon@user/pyon) (Client Quit) |
| 20:46:04 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 20:46:12 | × | remedan quits (~remedan@78-80-80-127.customers.tmcz.cz) (Quit: Bye!) |
| 20:46:32 | → | Pozyomka joins (~pyon@user/pyon) |
| 20:47:03 | × | merijn quits (~merijn@62.45.137.128) (Ping timeout: 245 seconds) |
| 20:48:07 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 20:52:28 | → | remedan joins (~remedan@78-80-80-127.customers.tmcz.cz) |
| 20:57:38 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 244 seconds) |
| 20:57:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:00:51 | <hololeap> | is there a name for (await >>= mapM_ yield) |
| 21:01:05 | <hololeap> | aka an identity conduit |
| 21:02:45 | <hololeap> | perhaps (mapC id) would be more efficient? |
| 21:03:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 21:04:20 | <hololeap> | the use-case is I want to have a (Maybe (ConduitT ...)) that's passed in as an argument to manipulate the stream, or just pass the stream along unchanged if Nothing is given |
| 21:05:28 | <hololeap> | right now I am using: fromMaybe (await >>= mapM_ yield) |
| 21:08:21 | → | d0xfs joins (~user@57.134.187.177) |
| 21:09:13 | → | dmj` joins (uid72307@id-72307.hampstead.irccloud.com) |
| 21:09:31 | <dmj`> | Is begriffs around |
| 21:12:06 | × | athan quits (~athan@syn-174-106-168-248.res.spectrum.com) (Quit: Konversation terminated!) |
| 21:13:04 | ← | d0xfs parts (~user@57.134.187.177) (ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.1)) |
| 21:13:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:16:33 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 21:17:27 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 21:17:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 21:19:19 | × | hyletic quits (~textual@user/hyletic) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 21:21:34 | × | tromp quits (~textual@2001:1c00:3487:1b00:b18c:352c:ad0a:c01) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:21:46 | → | harveypwca joins (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) |
| 21:27:37 | → | hyletic joins (~textual@user/hyletic) |
| 21:30:30 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 21:32:15 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Ping timeout: 244 seconds) |
| 21:33:15 | × | Digit quits (~user@user/digit) (Read error: Connection reset by peer) |
| 21:34:30 | → | Digit joins (~user@user/digit) |
| 21:35:49 | → | euphores joins (~SASL_euph@user/euphores) |
| 21:37:15 | × | hyletic quits (~textual@user/hyletic) (Quit: Textual IRC Client: www.textualapp.com) |
| 21:37:59 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 21:43:06 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 244 seconds) |
| 21:49:22 | × | bwe quits (~bwe@static.72.17.201.195.clients.your-server.de) (Server closed connection) |
| 21:52:35 | × | dpk quits (~dpk@jains.nonceword.org) (Server closed connection) |
| 21:54:46 | → | dpk joins (~dpk@jains.nonceword.org) |
| 21:56:09 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 21:57:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:01:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:16:41 | × | trickard_ quits (~trickard@cpe-90-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 22:17:07 | → | trickard_ joins (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 22:28:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:28:17 | → | fp joins (~Thunderbi@89-27-10-140.bb.dnainternet.fi) |
| 22:29:35 | trickard_ | is now known as trickard |
| 22:32:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:43:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:47:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 22:50:29 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Server closed connection) |
| 22:50:45 | → | dibblego joins (~dibblego@116-255-1-119.ip4.superloop.au) |
| 22:50:45 | × | dibblego quits (~dibblego@116-255-1-119.ip4.superloop.au) (Changing host) |
| 22:50:45 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 22:58:45 | × | tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 22:58:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:03:17 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 23:13:00 | × | fp quits (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 244 seconds) |
| 23:16:42 | × | inline quits (~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) (Quit: Leaving) |
| 23:26:26 | → | inline joins (~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) |
| 23:32:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:35:38 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 23:36:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 23:37:34 | × | acidjnk quits (~acidjnk@p200300d6e717197388c3d57515e3973f.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 23:38:16 | × | sprotte24 quits (~sprotte24@p200300d16f25fb005c76564b71b01fdc.dip0.t-ipconnect.de) (Quit: Leaving) |
| 23:39:49 | × | robobub quits (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 23:41:51 | → | polykernel_ joins (~polykerne@user/polykernel) |
| 23:42:59 | → | athan joins (~athan@syn-174-106-168-248.res.spectrum.com) |
| 23:45:27 | × | polykernel quits (~polykerne@user/polykernel) (Ping timeout: 260 seconds) |
| 23:45:27 | polykernel_ | is now known as polykernel |
| 23:54:46 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
All times are in UTC on 2025-08-16.