Logs: freenode/#haskell
| 2021-03-27 21:03:22 | × | coot quits (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-03-27 21:03:28 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-03-27 21:04:38 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-03-27 21:07:22 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Remote host closed the connection) |
| 2021-03-27 21:08:19 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:6438:fe04:a25d:577) |
| 2021-03-27 21:08:48 | → | vgtw joins (~vgtw@gateway/tor-sasl/vgtw) |
| 2021-03-27 21:11:01 | × | Erutuon quits (~Erutuon@97-116-16-233.mpls.qwest.net) (Quit: WeeChat 2.8) |
| 2021-03-27 21:13:11 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-03-27 21:14:09 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2021-03-27 21:14:22 | → | vchlup_ joins (~vchlup@nat.brnet.cz) |
| 2021-03-27 21:14:40 | × | vchlup quits (~vchlup@nat.brnet.cz) (Read error: Connection reset by peer) |
| 2021-03-27 21:17:46 | hackage | polysemy-log 0.1.0.0 - Polysemy effects for logging https://hackage.haskell.org/package/polysemy-log-0.1.0.0 (tek) |
| 2021-03-27 21:18:31 | → | Alleria joins (~textual@2603-7000-3040-0000-eca8-d3b7-f438-6f95.res6.spectrum.com) |
| 2021-03-27 21:18:54 | Alleria | is now known as Guest68469 |
| 2021-03-27 21:21:09 | × | vgtw quits (~vgtw@gateway/tor-sasl/vgtw) (Ping timeout: 240 seconds) |
| 2021-03-27 21:21:10 | × | knupfer quits (~Thunderbi@dynamic-046-114-151-080.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2021-03-27 21:22:59 | × | Guest68469 quits (~textual@2603-7000-3040-0000-eca8-d3b7-f438-6f95.res6.spectrum.com) (Ping timeout: 252 seconds) |
| 2021-03-27 21:23:00 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-03-27 21:23:46 | → | codygman__ joins (~user@47.186.207.161) |
| 2021-03-27 21:27:29 | → | Alleria__ joins (~textual@2603-7000-3040-0000-eca8-d3b7-f438-6f95.res6.spectrum.com) |
| 2021-03-27 21:30:49 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-27 21:31:02 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-27 21:35:06 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-03-27 21:35:43 | → | fendor_ joins (~fendor@77.119.130.155.wireless.dyn.drei.com) |
| 2021-03-27 21:35:48 | × | codygman__ quits (~user@47.186.207.161) (Remote host closed the connection) |
| 2021-03-27 21:36:08 | → | codygman__ joins (~user@47.186.207.161) |
| 2021-03-27 21:36:12 | → | son0p joins (~son0p@181.136.122.143) |
| 2021-03-27 21:36:32 | × | puke quits (~vroom@217.138.252.168) (Quit: puke) |
| 2021-03-27 21:37:58 | × | fendor quits (~fendor@91.141.1.158.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 2021-03-27 21:39:10 | × | Lycurgus quits (~niemand@98.4.120.166) (Quit: Exeunt) |
| 2021-03-27 21:40:28 | × | malumore quits (~malumore@151.62.126.8) (Ping timeout: 268 seconds) |
| 2021-03-27 21:43:21 | → | puke joins (~vroom@217.138.252.196) |
| 2021-03-27 21:45:28 | → | vchlup__ joins (~vchlup@nat.brnet.cz) |
| 2021-03-27 21:46:06 | × | vchlup_ quits (~vchlup@nat.brnet.cz) (Read error: Connection reset by peer) |
| 2021-03-27 21:47:41 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) |
| 2021-03-27 21:50:53 | → | heatsink_ joins (~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) |
| 2021-03-27 21:50:56 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) (Remote host closed the connection) |
| 2021-03-27 21:51:10 | → | dpl__ joins (~dpl@77.121.78.163) |
| 2021-03-27 21:52:41 | × | vchlup__ quits (~vchlup@nat.brnet.cz) (Ping timeout: 240 seconds) |
| 2021-03-27 21:52:55 | <maralorn> | maerwald: Actually at this point the freenode-bridge is the weak link. Matrix itself works pretty nicely. |
| 2021-03-27 21:53:32 | → | s00pcan joins (~chris@075-133-056-178.res.spectrum.com) |
| 2021-03-27 21:55:16 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 268 seconds) |
| 2021-03-27 21:55:29 | → | vchlup joins (~vchlup@nat.brnet.cz) |
| 2021-03-27 21:59:33 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:16f:a8e3:b3e2:cec6) |
| 2021-03-27 22:00:12 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 268 seconds) |
| 2021-03-27 22:00:37 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 2021-03-27 22:03:09 | <xerox_> | say I have a bijective mapping between a contiguous [a..b] (a<b) and a subset of Int⨯Int, can I use a pattern synonym to go between those? |
| 2021-03-27 22:04:17 | <xerox_> | pattern Foo i <- Bar (x,y) where ... has me stuck as to where to put the function (Int,Int)->Int to get from (x,y) to i |
| 2021-03-27 22:04:58 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-03-27 22:06:01 | → | tpefreedom joins (~tsomers@184-157-240-110.dyn.centurytel.net) |
| 2021-03-27 22:06:12 | <xerox_> | whereas the continuation where Foo = g seems reasonable for the opposite Int->(Int,Int) function |
| 2021-03-27 22:06:40 | int-e | surreptitiously drops some red pills. |
| 2021-03-27 22:06:59 | × | tpefreedom quits (~tsomers@184-157-240-110.dyn.centurytel.net) (Client Quit) |
| 2021-03-27 22:07:04 | <xerox_> | (: |
| 2021-03-27 22:07:14 | <monochrom> | free red pills for everyone |
| 2021-03-27 22:07:34 | <Franciman> | do you have any black pill? |
| 2021-03-27 22:11:03 | <juri_> | I prefer arduinos. |
| 2021-03-27 22:11:14 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 246 seconds) |
| 2021-03-27 22:11:58 | → | tpefreedom joins (~tsomers@184-157-240-110.dyn.centurytel.net) |
| 2021-03-27 22:15:45 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:16f:a8e3:b3e2:cec6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-27 22:16:20 | × | Franciman quits (~francesco@host-79-53-62-46.retail.telecomitalia.it) (Quit: Leaving) |
| 2021-03-27 22:18:41 | <xerox_> | ah the answer is a view pattern: pattern Foo i <- (f -> (x,y)) where Foo = g |
| 2021-03-27 22:18:55 | <xerox_> | err, f -> i, you get the idea |
| 2021-03-27 22:20:19 | <dmj`> | pattern synonyms and view patterns both probably just desugar into case statements and function applications, so regular ol' case statement would work just fine |
| 2021-03-27 22:22:26 | × | ezrakilty quits (~ezrakilty@97-113-58-224.tukw.qwest.net) (Remote host closed the connection) |
| 2021-03-27 22:24:27 | → | Sorna joins (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 2021-03-27 22:24:46 | → | Sorny joins (~Sornaensi@45.41.132.136) |
| 2021-03-27 22:25:36 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-27 22:25:58 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) |
| 2021-03-27 22:28:38 | × | Sorna quits (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 240 seconds) |
| 2021-03-27 22:28:42 | × | Sornaensis quits (~Sornaensi@185.217.117.65) (Ping timeout: 265 seconds) |
| 2021-03-27 22:30:31 | × | azure1 quits (~azure@103.154.230.130) (Read error: Connection reset by peer) |
| 2021-03-27 22:30:41 | → | azure1 joins (~azure@103.154.230.130) |
| 2021-03-27 22:33:38 | × | codygman__ quits (~user@47.186.207.161) (Ping timeout: 240 seconds) |
| 2021-03-27 22:36:00 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2021-03-27 22:39:39 | × | jscarmona1 quits (~jscarmona@37.120.211.188) (Remote host closed the connection) |
| 2021-03-27 22:39:49 | → | dave_uy1 joins (~david@108.61.193.26) |
| 2021-03-27 22:40:17 | × | byorgey quits (~byorgey@155.138.238.211) (Ping timeout: 246 seconds) |
| 2021-03-27 22:40:25 | → | byorgey joins (~byorgey@155.138.238.211) |
| 2021-03-27 22:40:43 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 2021-03-27 22:40:49 | × | dave_uy quits (~david@108.61.193.26) (Ping timeout: 276 seconds) |
| 2021-03-27 22:41:50 | → | irc_user joins (uid423822@gateway/web/irccloud.com/x-qzrrxhbhoabztmbj) |
| 2021-03-27 22:43:18 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-27 22:48:38 | × | vchlup quits (~vchlup@nat.brnet.cz) (Ping timeout: 240 seconds) |
| 2021-03-27 22:48:41 | → | locrian9 joins (~mike@99-153-255-194.lightspeed.irvnca.sbcglobal.net) |
| 2021-03-27 22:49:17 | → | jrm2 joins (~jrm@freebsd/developer/jrm) |
| 2021-03-27 22:50:22 | → | vchlup joins (~vchlup@nat.brnet.cz) |
| 2021-03-27 22:50:52 | × | jathan quits (~jathan@69.61.93.38) (Quit: WeeChat 2.3) |
| 2021-03-27 22:51:00 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-03-27 22:52:44 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Remote host closed the connection) |
| 2021-03-27 22:53:40 | × | tpefreedom quits (~tsomers@184-157-240-110.dyn.centurytel.net) (Remote host closed the connection) |
| 2021-03-27 22:55:35 | → | davidfetter1 joins (~davidfett@37.120.211.188) |
| 2021-03-27 22:57:13 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 265 seconds) |
| 2021-03-27 22:58:35 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9586d8aaf3880c64deb7.dip0.t-ipconnect.de) |
| 2021-03-27 22:58:40 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 2021-03-27 22:58:41 | × | jedai quits (~jedai@lfbn-dij-1-708-251.w90-100.abo.wanadoo.fr) (Quit: KVIrc 4.2.0 Equilibrium http://www.kvirc.net/) |
| 2021-03-27 23:01:07 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-03-27 23:02:41 | × | fendor_ quits (~fendor@77.119.130.155.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-03-27 23:04:04 | × | Varis quits (~Tadas@unaffiliated/varis) (Read error: Connection reset by peer) |
| 2021-03-27 23:04:46 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 240 seconds) |
All times are in UTC.