Logs: freenode/#haskell
| 2021-04-24 13:38:50 | → | is_null joins (~jpic@pdpc/supporter/professional/is-null) |
| 2021-04-24 13:40:45 | × | mmfood_1 quits (~mmfood@45.91.21.41) (Ping timeout: 260 seconds) |
| 2021-04-24 13:40:47 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1) |
| 2021-04-24 13:42:17 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-04-24 13:43:58 | × | ADG1089 quits (~aditya@171.76.29.233) (Remote host closed the connection) |
| 2021-04-24 13:44:11 | × | drbean_ quits (~drbean@TC210-63-209-37.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-04-24 13:44:32 | × | is_null quits (~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 240 seconds) |
| 2021-04-24 13:45:47 | × | nek0 quits (~nek0@mail.nek0.eu) (Remote host closed the connection) |
| 2021-04-24 13:46:56 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-24 13:47:24 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-24 13:47:48 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 2021-04-24 13:48:41 | → | stef204 joins (~stef204@unaffiliated/stef-204/x-384198) |
| 2021-04-24 13:49:59 | → | mmfood_1 joins (~mmfood@45.91.21.41) |
| 2021-04-24 13:50:41 | → | nek0 joins (~nek0@mail.nek0.eu) |
| 2021-04-24 13:52:36 | → | mmfood joins (~mmfood@45.91.21.41) |
| 2021-04-24 13:52:38 | × | idhugo quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Remote host closed the connection) |
| 2021-04-24 13:52:56 | → | idhugo joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 2021-04-24 13:53:09 | × | mmfood_2 quits (~mmfood@45.91.21.41) (Ping timeout: 268 seconds) |
| 2021-04-24 13:53:24 | × | idhugo quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Remote host closed the connection) |
| 2021-04-24 13:53:41 | → | idhugo joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 2021-04-24 13:53:48 | × | idhugo quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Remote host closed the connection) |
| 2021-04-24 13:54:06 | → | idhugo joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 2021-04-24 13:54:25 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-24 13:54:45 | × | Flonk quits (~Flonk@ec2-52-40-29-25.us-west-2.compute.amazonaws.com) (Ping timeout: 252 seconds) |
| 2021-04-24 13:55:13 | × | mmfood_1 quits (~mmfood@45.91.21.41) (Ping timeout: 260 seconds) |
| 2021-04-24 13:55:30 | → | mmfood_1 joins (~mmfood@45.91.21.41) |
| 2021-04-24 13:55:43 | → | Flonk joins (~Flonk@ec2-34-221-127-147.us-west-2.compute.amazonaws.com) |
| 2021-04-24 13:56:06 | × | idhugo quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Remote host closed the connection) |
| 2021-04-24 13:56:24 | → | idhugo joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 2021-04-24 13:56:28 | × | idhugo quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Remote host closed the connection) |
| 2021-04-24 13:57:25 | → | catern joins (~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407) |
| 2021-04-24 13:57:26 | → | is_null joins (~jpic@pdpc/supporter/professional/is-null) |
| 2021-04-24 13:57:30 | → | mmfood_2 joins (~mmfood@45.91.21.41) |
| 2021-04-24 13:58:04 | × | mmfood quits (~mmfood@45.91.21.41) (Ping timeout: 252 seconds) |
| 2021-04-24 13:58:46 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 2021-04-24 13:59:40 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-24 14:00:08 | × | nek0 quits (~nek0@mail.nek0.eu) (Remote host closed the connection) |
| 2021-04-24 14:00:16 | × | mmfood_1 quits (~mmfood@45.91.21.41) (Ping timeout: 252 seconds) |
| 2021-04-24 14:00:39 | → | mmfood joins (~mmfood@185.176.246.69) |
| 2021-04-24 14:01:17 | → | emetrusky joins (561e1a8f@cpc152439-cosh18-2-0-cust142.6-1.cable.virginm.net) |
| 2021-04-24 14:01:39 | → | dpl_ joins (~dpl@77-121-78-163.chn.volia.net) |
| 2021-04-24 14:02:13 | × | mmfood_2 quits (~mmfood@45.91.21.41) (Ping timeout: 260 seconds) |
| 2021-04-24 14:03:21 | → | nek0 joins (~nek0@mail.nek0.eu) |
| 2021-04-24 14:04:06 | × | zariuq quits (~zar@fw1.ciirc.cvut.cz) (Ping timeout: 240 seconds) |
| 2021-04-24 14:04:52 | × | dpl quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 268 seconds) |
| 2021-04-24 14:05:28 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-caupldtffelvoeqp) |
| 2021-04-24 14:05:46 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-04-24 14:08:52 | × | is_null quits (~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 240 seconds) |
| 2021-04-24 14:09:41 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 2021-04-24 14:10:24 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1) |
| 2021-04-24 14:10:43 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-04-24 14:10:50 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-04-24 14:12:54 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 2021-04-24 14:13:23 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-04-24 14:13:41 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 2021-04-24 14:14:49 | × | tms__ quits (thomaav@cassarossa.samfundet.no) (Ping timeout: 260 seconds) |
| 2021-04-24 14:14:56 | × | teddyc quits (theodorc@cassarossa.samfundet.no) (Ping timeout: 258 seconds) |
| 2021-04-24 14:16:19 | → | tms_ joins (thomaav@cassarossa.samfundet.no) |
| 2021-04-24 14:16:50 | → | teddyc joins (theodorc@cassarossa.samfundet.no) |
| 2021-04-24 14:17:41 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2021-04-24 14:25:15 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-24 14:28:43 | → | son0p joins (~ff@181.136.122.143) |
| 2021-04-24 14:29:58 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-04-24 14:34:17 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-04-24 14:35:51 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-04-24 14:36:00 | → | P1RATEZ joins (piratez@unaffiliated/p1ratez) |
| 2021-04-24 14:37:28 | → | Lowl3v3l joins (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) |
| 2021-04-24 14:38:01 | → | Deide joins (~Deide@217.155.19.23) |
| 2021-04-24 14:39:19 | → | renzhi joins (~renzhi@2607:fa49:6500:bc00::e7b) |
| 2021-04-24 14:45:28 | → | carlomagno joins (~cararell@148.87.23.7) |
| 2021-04-24 14:46:31 | × | ph88 quits (~ph88@2a02:8109:9e00:7e5c:d5ef:86b3:afc4:9258) (Ping timeout: 260 seconds) |
| 2021-04-24 14:48:39 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-24 14:49:01 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-04-24 14:54:06 | <zzz> | does anyone suggest a good plotting library? |
| 2021-04-24 14:54:11 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 240 seconds) |
| 2021-04-24 14:55:29 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-04-24 14:55:52 | → | HarveyPwca joins (~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net) |
| 2021-04-24 14:56:26 | → | nan` joins (~nan`@unaffiliated/nan/x-5405850) |
| 2021-04-24 14:59:14 | → | aiken joins (~aiken@188.114.143.150.dyn.plus.net) |
| 2021-04-24 15:01:31 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-04-24 15:03:26 | × | russruss40 quits (~russruss@my.russellmcc.com) (Quit: The Lounge - https://thelounge.chat) |
| 2021-04-24 15:03:31 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 252 seconds) |
| 2021-04-24 15:04:40 | → | russruss40 joins (~russruss@my.russellmcc.com) |
| 2021-04-24 15:09:22 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-04-24 15:12:15 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-04-24 15:14:11 | × | dinciorip quits (~dincio@5.170.69.95) (Quit: WeeChat 3.1) |
| 2021-04-24 15:16:05 | × | robotmay quits (~beepboop@2001:8b0:7af0:2580:e563:8f42:67c7:6d13) (Ping timeout: 250 seconds) |
| 2021-04-24 15:16:45 | → | robotmay joins (~beepboop@2001:8b0:7af0:2580:94a2:bb95:e8d4:22af) |
| 2021-04-24 15:19:09 | <wz1000> | zzz: I'm quite happy with Chart |
| 2021-04-24 15:20:35 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) (Remote host closed the connection) |
| 2021-04-24 15:21:22 | <wz1000> | Uniaika: You can get the Module of a particular type constructor (TyCon) using typeable |
| 2021-04-24 15:21:28 | → | tanner_ joins (~tanner@216.106.138.184) |
| 2021-04-24 15:21:55 | <Uniaika> | wz1000: I came up with a TTH solution ;) |
| 2021-04-24 15:22:09 | → | gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 2021-04-24 15:22:16 | → | bor0 joins (~boro@unaffiliated/boro/x-000000001) |
| 2021-04-24 15:22:26 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 246 seconds) |
| 2021-04-24 15:22:32 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-24 15:22:37 | → | kiweun joins (~kiweun@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) |
| 2021-04-24 15:22:55 | <bor0> | I have a data type as follows: `data Arith = Z | S Arith | Plus Arith Arith`. I have two functions: one of them does `applyX [GoLeft:xs] r (Plus x y) = Plus (f xs r x) y` (so it kinda applies a function to every term), and another function `getX [GoLeft:xs] (Plus x y) = x`. is there a better name for these functions? the first one seems to be some kind of a fold but I'm not sure. basically the first one kinda "modifies" the terms while the seco |
| 2021-04-24 15:22:56 | <bor0> | nd one just "reads" them |
All times are in UTC.