Logs: liberachat/#haskell
| 2021-06-11 22:44:43 | <monochrom> | :) |
| 2021-06-11 22:48:12 | × | wonko quits (~wjc@62.115.229.50) (Ping timeout: 252 seconds) |
| 2021-06-11 22:52:29 | ← | safinaskar parts (~safinaska@109-252-90-89.nat.spd-mgts.ru) () |
| 2021-06-11 22:53:09 | → | dhil joins (~dhil@195.213.192.47) |
| 2021-06-11 22:57:02 | → | sm2n joins (~sm2n@user/sm2n) |
| 2021-06-11 23:03:37 | <DigitalKiwi> | ideal transformer |
| 2021-06-11 23:04:55 | → | iblis joins (~Adium@p200300e9770baa0100d945c5feb5025a.dip0.t-ipconnect.de) |
| 2021-06-11 23:08:14 | → | shapr joins (~user@pool-108-28-144-11.washdc.fios.verizon.net) |
| 2021-06-11 23:09:33 | → | UpstreamSalmon joins (uid12077@id-12077.stonehaven.irccloud.com) |
| 2021-06-11 23:17:21 | × | wagle quits (~wagle@quassel.wagle.io) (Ping timeout: 252 seconds) |
| 2021-06-11 23:20:05 | × | xff0x_ quits (~xff0x@2001:1a81:5346:bf00:ada3:bdcd:e60c:3e25) (Remote host closed the connection) |
| 2021-06-11 23:20:22 | → | xff0x_ joins (~xff0x@2001:1a81:5346:bf00:b798:b33b:5653:d347) |
| 2021-06-11 23:20:55 | → | wagle joins (~wagle@quassel.wagle.io) |
| 2021-06-11 23:21:19 | × | jaevanko quits (~jaevanko@2600:1700:1330:2bef:5548:773a:cf10:a3a1) (Quit: Leaving) |
| 2021-06-11 23:21:50 | × | dhil quits (~dhil@195.213.192.47) (Ping timeout: 268 seconds) |
| 2021-06-11 23:24:51 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 244 seconds) |
| 2021-06-11 23:24:59 | → | ikex joins (~ash@user/ikex) |
| 2021-06-11 23:31:14 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-06-11 23:33:02 | × | wagle quits (~wagle@quassel.wagle.io) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-06-11 23:33:33 | → | wagle joins (~wagle@quassel.wagle.io) |
| 2021-06-11 23:35:18 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-11 23:36:28 | × | iblis quits (~Adium@p200300e9770baa0100d945c5feb5025a.dip0.t-ipconnect.de) (Quit: Leaving.) |
| 2021-06-11 23:36:42 | → | iblis joins (~Adium@p200300e9770baa0100d945c5feb5025a.dip0.t-ipconnect.de) |
| 2021-06-11 23:38:18 | × | Deide quits (~Deide@user/deide) (Quit: Seeee yaaaa) |
| 2021-06-11 23:38:48 | × | wagle quits (~wagle@quassel.wagle.io) (Ping timeout: 244 seconds) |
| 2021-06-11 23:40:04 | × | fluffyballoon quits (~fluffybal@2620:72:0:6480::10f7) (Quit: Client closed) |
| 2021-06-11 23:40:21 | → | wagle joins (~wagle@quassel.wagle.io) |
| 2021-06-11 23:44:15 | → | sheepduck joins (~sheepduck@2607:fea8:2a61:4800::5d7c) |
| 2021-06-11 23:44:51 | → | carmysilna joins (~brightly-@2001:470:69fc:105::2190) |
| 2021-06-11 23:48:57 | × | sheepduck quits (~sheepduck@2607:fea8:2a61:4800::5d7c) (Remote host closed the connection) |
| 2021-06-11 23:54:25 | → | wennefer0 joins (~wennefer0@c-73-69-143-60.hsd1.ma.comcast.net) |
| 2021-06-11 23:56:44 | × | wennefer0 quits (~wennefer0@c-73-69-143-60.hsd1.ma.comcast.net) (Client Quit) |
| 2021-06-11 23:59:01 | × | awth13 quits (~user@user/awth13) (Quit: ERC (IRC client for Emacs 27.2)) |
| 2021-06-12 00:02:40 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 2021-06-12 00:02:42 | × | xff0x_ quits (~xff0x@2001:1a81:5346:bf00:b798:b33b:5653:d347) (Ping timeout: 264 seconds) |
| 2021-06-12 00:03:57 | × | bilegeek quits (~bilegeek@2600:1008:b06d:65ed:93d7:e6a:a06d:9e4) (Quit: Leaving) |
| 2021-06-12 00:04:26 | × | shapr quits (~user@pool-108-28-144-11.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2021-06-12 00:04:34 | → | xff0x_ joins (~xff0x@2001:1a81:5379:8000:74e9:6703:8cf4:c6c7) |
| 2021-06-12 00:05:20 | → | pe200012_ joins (~pe200012@120.236.161.38) |
| 2021-06-12 00:05:44 | × | pe200012 quits (~pe200012@183.63.73.36) (Ping timeout: 264 seconds) |
| 2021-06-12 00:17:47 | → | MorrowM joins (~MorrowM_@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-06-12 00:18:00 | × | Ariakenom quits (~Ariakenom@2001:9b1:efb:fc00:5cec:59a9:cebf:aa78) (Quit: Leaving) |
| 2021-06-12 00:19:50 | × | leah2 quits (~leah@vuxu.org) (Read error: Connection reset by peer) |
| 2021-06-12 00:20:29 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-12 00:22:04 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 252 seconds) |
| 2021-06-12 00:26:28 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-12 00:27:08 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-06-12 00:27:32 | × | tremon quits (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2021-06-12 00:30:59 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 244 seconds) |
| 2021-06-12 00:33:37 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-12 00:33:49 | × | lbseale_ quits (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer) |
| 2021-06-12 00:33:58 | → | Bartosz joins (~textual@24.35.90.211) |
| 2021-06-12 00:36:56 | × | fresheyeball quits (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 2021-06-12 00:37:11 | × | argento quits (~argent0@168-227-96-53.ptr.westnet.com.ar) (Ping timeout: 244 seconds) |
| 2021-06-12 00:37:33 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-06-12 00:40:16 | → | dcoutts_ joins (~duncan@94.186.125.91.dyn.plus.net) |
| 2021-06-12 00:42:21 | bontaq` | is now known as bontaq |
| 2021-06-12 00:46:56 | × | ikex quits (~ash@user/ikex) (Ping timeout: 268 seconds) |
| 2021-06-12 00:53:57 | × | MorrowM quits (~MorrowM_@bzq-110-168-31-106.red.bezeqint.net) (Read error: Connection reset by peer) |
| 2021-06-12 00:54:25 | × | Bartosz quits (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-12 00:55:56 | → | ikex joins (~ash@user/ikex) |
| 2021-06-12 00:58:29 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 272 seconds) |
| 2021-06-12 01:00:26 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds) |
| 2021-06-12 01:02:13 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-06-12 01:02:57 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-06-12 01:04:42 | → | iblis1 joins (~Adium@141.20.217.196) |
| 2021-06-12 01:07:21 | × | iblis quits (~Adium@p200300e9770baa0100d945c5feb5025a.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2021-06-12 01:08:24 | → | Bartosz joins (~textual@24.35.90.211) |
| 2021-06-12 01:08:24 | × | Bartosz quits (~textual@24.35.90.211) (Client Quit) |
| 2021-06-12 01:11:41 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-06-12 01:12:04 | → | thyriaen joins (~thyriaen@45.178.75.13) |
| 2021-06-12 01:13:29 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 252 seconds) |
| 2021-06-12 01:14:06 | × | xff0x_ quits (~xff0x@2001:1a81:5379:8000:74e9:6703:8cf4:c6c7) (Ping timeout: 264 seconds) |
| 2021-06-12 01:15:00 | → | danso joins (~danso@23-233-111-52.cpe.pppoe.ca) |
| 2021-06-12 01:15:46 | → | xff0x_ joins (~xff0x@2001:1a81:5382:9400:de6:80d2:c3d3:91ab) |
| 2021-06-12 01:18:27 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-12 01:20:28 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-12 01:22:44 | → | hmmmas joins (~chenqisu1@183.217.200.246) |
| 2021-06-12 01:22:50 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 252 seconds) |
| 2021-06-12 01:25:34 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-06-12 01:26:06 | <systemfault> | Hi, anyone up for a monoid question? Is "Min" or "Max" a valid monoid? |
| 2021-06-12 01:27:18 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 244 seconds) |
| 2021-06-12 01:28:05 | <c_wraith> | systemfault: only for types that have upper and lower bounds |
| 2021-06-12 01:28:21 | <c_wraith> | systemfault: which is why the Min and Max aliases in base are semigroups instead |
| 2021-06-12 01:30:52 | <c_wraith> | Ah, those types have Monoid instances too, that depend on Bounded instances existing |
| 2021-06-12 01:31:36 | <systemfault> | I guess it makes sense |
| 2021-06-12 01:32:04 | → | argento joins (~argent0@168-227-96-53.ptr.westnet.com.ar) |
| 2021-06-12 01:32:20 | <systemfault> | Thank you :) |
| 2021-06-12 01:33:36 | × | asthasr quits (~asthasr@162.210.29.120) (Read error: Connection reset by peer) |
| 2021-06-12 01:37:12 | → | awth13 joins (~user@user/awth13) |
| 2021-06-12 01:41:12 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-12 01:42:08 | × | jneira quits (~jneira@166.red-81-39-172.dynamicip.rima-tde.net) (Quit: Connection closed) |
| 2021-06-12 01:43:44 | × | argento quits (~argent0@168-227-96-53.ptr.westnet.com.ar) (Ping timeout: 265 seconds) |
| 2021-06-12 01:43:45 | × | jocke-l quits (jocke-l@a.x0.is) (Quit: WeeChat 1.6) |
| 2021-06-12 01:44:43 | × | ozataman quits (~ozataman@71.190.112.58) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-12 01:44:47 | → | jocke-l joins (jocke-l@a.x0.is) |
| 2021-06-12 01:48:35 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-06-12 01:48:58 | × | hmmmas quits (~chenqisu1@183.217.200.246) (Quit: Leaving.) |
| 2021-06-12 01:54:53 | × | jespada quits (~jespada@90.254.242.55) (Ping timeout: 244 seconds) |
| 2021-06-12 01:54:53 | × | MQ-17J quits (~MQ-17J@8.21.10.116) (Read error: Connection reset by peer) |
All times are in UTC.