Logs on 2022-03-05 (liberachat/#haskell)

00:00:54	<sm>	seems like an impressive amount of green..
00:01:05	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
00:01:46	×	zeenk quits (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) (Quit: Konversation terminated!)
00:01:51	<lechner_>	it's enough. the official ports are the bright ones, but it's still not the ghc 9 you probably want
00:02:24	<sm>	actually.. I'm not sure there's a ghc 9 you really really want yet
00:03:11	<sm>	well, you're not dealing with windows or mac, so maybe there is one for debian
00:03:51	<janus>	i don't understand, what is the blocker if its building for all necessary architectures?
00:04:10	<sm>	that's really an impressive list of architectures supporting ghc
00:05:22	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
00:05:33	<lechner_>	janus: which release (and architecture) are you on?
00:05:41	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
00:05:47	<lechner_>	debian that is
00:06:06	<janus>	lechner_: amd64 and bullseye
00:06:16	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Read error: Connection reset by peer)
00:08:08	→	Henson joins (~kvirc@107-179-133-201.cpe.teksavvy.com)
00:09:29	<Henson>	can I exclude (or include) certain libraries in a Haskell profiling run? I'm using "stack --profile" and want to exclude a bunch of library stuff I don't care about, and include only my source code.
00:09:56	<geekosaur>	afaik it's all or nothing
00:10:45	<geekosaur>	if you build in the profiling way you have to link in the profiling way ("way" is a ghc internal thing but in practice it means all objects must be either .o or .p_o, no mixtures)
00:11:16	<Henson>	geekosaur: ok, thanks for the info. I'll try another approach.
00:11:58	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
00:12:08	<lechner_>	janus: here is a backport for you, if you'd like to try https://people.debian.org/~lechner/ghc/
00:12:16	<geekosaur>	partof this is becauselaziness means thunks generated in profiled code but forced in unprofiled code ouldn't be profiled
00:12:22	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
00:12:41	<lechner_>	janus: it gave me access to rel8 and also has the popular post qualified thingy
00:15:03	→	burnsidesLlama joins (~burnsides@rrcs-76-81-82-250.west.biz.rr.com)
00:16:27	meejah_	is now known as meejah
00:17:00	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
00:18:51	×	Null_A quits (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Remote host closed the connection)
00:19:35	→	Null_A joins (~null_a@c-98-210-133-39.hsd1.ca.comcast.net)
00:20:43	→	yauhsien joins (~yauhsien@61-231-30-36.dynamic-ip.hinet.net)
00:20:45	<Clint>	janus: just time and effort right now.. but that's only been true for ~23 days it seems
00:21:25	×	soxen_ quits (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 256 seconds)
00:22:24	×	ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection)
00:22:59	<janus>	great!
00:23:12	<janus>	i'll try your packages this weekend
00:24:33	×	Null_A quits (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
00:25:57	×	k8yun quits (~k8yun@user/k8yun) (Ping timeout: 240 seconds)
00:26:08	×	yauhsien quits (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Remote host closed the connection)
00:28:27	→	yauhsien joins (~yauhsien@61-231-30-36.dynamic-ip.hinet.net)
00:31:17	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
00:33:08	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
00:33:38	×	yauhsien quits (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
00:37:24	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
00:38:42	×	DNH quits (~DNH@2a02:8109:b740:2c4:c5b9:4624:182c:3e13) (Quit: My MacBook has gone to sleep. ZZZzzz…)
00:39:15	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
00:39:19	×	mcgroin quits (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 256 seconds)
00:40:00	→	Sgeo_ joins (~Sgeo@user/sgeo)
00:40:12	×	Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
00:41:00	×	bontaq quits (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 256 seconds)
00:43:00	×	sergiishm quits (~altern@altern.corbina.com.ua) (Ping timeout: 240 seconds)
00:43:43	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
00:46:02	→	jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
00:47:48	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
00:48:45	→	machinedgod joins (~machinedg@24.105.81.50)
00:50:36	×	zmt00 quits (~zmt00@user/zmt00) (Ping timeout: 240 seconds)
00:50:38	×	Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 272 seconds)
00:51:16	×	lumberjack123 quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
00:52:59	→	Erutuon joins (~Erutuon@user/erutuon)
00:53:31	→	zmt00 joins (~zmt00@user/zmt00)
00:53:50	→	Null_A joins (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e)
00:56:56	×	ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds)
00:56:59	×	Null_A quits (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Remote host closed the connection)
00:57:15	→	Null_A joins (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e)
00:59:15	→	ChaiTRex joins (~ChaiTRex@user/chaitrex)
01:03:56	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
01:07:01	×	Null_A quits (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Remote host closed the connection)
01:07:44	→	Null_A joins (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e)
01:08:47	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
01:09:12	×	Null_A quits (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Remote host closed the connection)
01:09:25	→	Null_A joins (~null_a@c-98-210-133-39.hsd1.ca.comcast.net)
01:09:42	×	jgeerds quits (~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 260 seconds)
01:11:17	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
01:12:01	×	vorpuni quits (~pvorp@2001:861:3881:c690:6137:750:a86c:52c8) (Quit: bye)
01:16:42	×	Inst quits (~delicacie@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 256 seconds)
01:17:24	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
01:19:12	×	Null_A quits (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Remote host closed the connection)
01:19:56	→	Null_A joins (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e)
01:24:14	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
01:24:17	×	Null_A quits (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds)
01:29:17	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
01:34:48	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
01:36:44	×	Henson quits (~kvirc@107-179-133-201.cpe.teksavvy.com) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/)
01:37:08	→	Null_A joins (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e)
01:39:21	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
01:46:49	×	xkuru quits (~xkuru@user/xkuru) (Read error: Connection reset by peer)
01:47:10	→	alMalsamo joins (~alMalsamo@gateway/tor-sasl/almalsamo)
01:47:26	alMalsamo	is now known as lumberjack123
01:49:56	→	xkuru joins (~xkuru@user/xkuru)
01:50:28	→	alp_ joins (~alp@user/alp)
01:51:44	→	Inst joins (~delicacie@c-98-208-218-119.hsd1.fl.comcast.net)
01:53:12	→	eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:d4cb:ae21:cf60:e6bc)
01:53:18	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
01:53:48	×	alp quits (~alp@user/alp) (Ping timeout: 240 seconds)
01:54:41	×	Null_A quits (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 256 seconds)
01:59:25	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
02:00:03	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
02:00:37	×	alp_ quits (~alp@user/alp) (Ping timeout: 240 seconds)
02:04:45	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
02:05:26	→	Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
02:06:00	×	machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 272 seconds)
02:09:18	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
02:10:40	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
02:13:00	×	vglfr quits (~vglfr@coupling.penchant.volia.net) (Ping timeout: 240 seconds)
02:13:32	→	vglfr joins (~vglfr@coupling.penchant.volia.net)
02:15:04	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
02:15:13	×	Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Remote host closed the connection)
02:15:24	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
02:15:57	→	Null_A joins (~null_a@c-98-210-133-39.hsd1.ca.comcast.net)
02:21:13	×	Null_A quits (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 272 seconds)
02:25:11	×	Psybur quits (~Psybur@mobile-166-171-56-243.mycingular.net) (Remote host closed the connection)
02:27:12	→	Null_A joins (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e)
02:32:16	→	ninioArtillero joins (~ninioArti@190.123.42.32)
02:36:13	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
02:36:37	×	unit73e quits (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) (Ping timeout: 256 seconds)
02:37:48	→	Guest662 joins (~Guest66@47.186.214.206)
02:38:42	→	ninio_artillero joins (~ninioArti@190.123.42.32)
02:39:11	×	ninio_artillero quits (~ninioArti@190.123.42.32) (Client Quit)
02:41:57	<Guest662>	What's a good way to "expand" a `Map k [v]` to `Map v k`? Or if tuples are easier `(a,[b]) -> (a,b)`? I wrote something that works but I think I'm missing something simple and obvious. Working code: foldr (\(a, bs) acc -> acc <> Map.unions (fmap (`Map.singleton` a) bs)) Map.empty . Map.toList
02:41:58	→	yauhsien joins (~yauhsien@61-231-30-36.dynamic-ip.hinet.net)
02:42:01	→	ninioArtillero[m joins (~ninioarti@2001:470:69fc:105::1:d1ef)
02:42:36	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
02:45:39	×	ninioArtillero quits (~ninioArti@190.123.42.32) (Quit: Client closed)
02:45:40	×	motherfsck quits (~motherfsc@user/motherfsck) (Ping timeout: 256 seconds)
02:46:12	×	yauhsien quits (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
02:48:19	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
02:50:37	×	neurocyte0917090 quits (~neurocyte@user/neurocyte) (Ping timeout: 240 seconds)
02:52:28	<dsal>	:t M.fromList . fmap (fmap (:[]) . swap) . M.toList
02:52:29	<lambdabot>	Ord k => M.Map a k -> M.Map k [a]
02:52:34	<dsal>	Neat. First try.
02:53:09	<dsal>	Oh, you have multiple vs.
02:53:26	<int-e>	> sequence ((),[1,2])
02:53:27	<lambdabot>	[((),1),((),2)]
02:54:25	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
02:56:43	<int-e>	:t M.fromList . fmap swap . (>>= sequence) . M.toList
02:56:44	<lambdabot>	Ord k => M.Map a [k] -> M.Map k a
02:57:08	→	vysn joins (~vysn@user/vysn)
02:57:41	<int-e>	:t M.fromListWith (++) . fmap (snd &&& pure . fst) . (>>= sequence) . M.toList
02:57:43	<lambdabot>	Ord a => M.Map k [a] -> M.Map a [k]
02:58:34	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
02:58:57	×	mmhat quits (~mmh@55d4f0e4.access.ecotel.net) (Ping timeout: 256 seconds)
03:00:02	×	ubert quits (~Thunderbi@p200300ecdf3be96140af3c3b2fdf1119.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
03:00:40	→	ubert joins (~Thunderbi@p200300ecdf3be9b909e125961b02a69e.dip0.t-ipconnect.de)
03:01:28	<dsal>	I agree with the second one. It's not clear what you're supposed to do with multiple values otherwise.
03:02:37	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
03:03:54	<Guest662>	thanks dsal and int-e, I think the second using fromListWith is something near what I thought was possible.
03:04:34	<Guest662>	btw, I don't have to keep it as a list, I just didn't know a better way and am not sure if it's easily possible to do this without toList first.
03:04:36	<dsal>	It's weird that I can read the arrows thing, but I'd never think to write it.
03:04:51	→	wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com)
03:04:51	×	wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
03:04:51	→	wroathe joins (~wroathe@user/wroathe)
03:05:38	<dsal>	I wouldn't worry about whether it's possible without the toList. You're doing a lot of shape changing. Having a list as an intermediate isn't bad.
03:07:17	<Guest662>	Yeah, it simplifies things. I like knowing when those things are possible though to have a finer handle on determining "is it worth it"
03:09:38	→	merijn joins (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl)
03:09:47	<int-e>	The list is likely to disappear when you compile this with optimizations enabled (all building blocks participate in the build/foldr list fusion)
03:11:17	<Guest662>	cool!
03:11:58	×	waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds)
03:12:27	→	mmhat joins (~mmh@55d4f85e.access.ecotel.net)
03:13:52	<int-e>	For this kind of thing, because of list fusion, [a] often behaves more like an iterator generating elements of type a than an actual list.
03:15:19	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
03:15:38	<int-e>	(and even when fusion isn't taking place, lazy evaluation (producing the list as elements are demanded) and garbage collection (freeing up the used part of the list) still achieve something reasonable, but of course this is less efficient than not allocating the list at all)
03:16:15	×	td_ quits (~td@94.134.91.15) (Ping timeout: 256 seconds)
03:16:18	×	jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds)
03:18:50	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
03:20:49	→	[_] joins (~itchyjunk@user/itchyjunk/x-7353470)
03:21:07	×	[itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Killed (silver.libera.chat (Nickname regained by services)))
03:21:07	[_]	is now known as [itchyjunk]
03:21:25	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
03:21:31	×	Null_A quits (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Remote host closed the connection)
03:22:14	→	Null_A joins (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e)
03:23:18	×	Null_A quits (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Remote host closed the connection)
03:23:31	→	Null_A joins (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e)
03:23:54	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
03:25:22	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
03:27:08	×	burnsidesLlama quits (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection)
03:29:21	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
03:31:19	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
03:34:02	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
03:35:45	<systemfault>	I got that weird popup in VSCode saying that the HLS binary doesn't support Template Haskell... That popup has a link to some instructions, I tried them (used the ghcup compile command to recompile HLS) and the popup is still there. At first glance though, Template Haskell "seems" to work (Using Polysemy's makeSem works). What am I doing wrong?
03:37:26	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
03:38:01	→	tommd joins (~tommd@97-120-41-123.ptld.qwest.net)
03:38:27	berberman_	is now known as berberman
03:38:56	×	merijn quits (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds)
03:39:20	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
03:39:41	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
03:40:13	×	Null_A quits (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Remote host closed the connection)
03:40:26	×	Unicorn_Princess quits (~Unicorn_P@46-54-248-191.static.kate-wing.si) (Quit: Leaving)
03:40:56	→	Null_A joins (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e)
03:43:43	→	Null_A_ joins (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e)
03:44:49	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
03:45:27	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
03:47:37	×	Null_A quits (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds)
03:53:28	×	Null_A_ quits (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Remote host closed the connection)
03:54:10	→	Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
03:56:34	→	Null_A_ joins (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e)
03:59:24	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
04:00:37	×	Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds)
04:01:51	→	burnsidesLlama joins (~burnsides@rrcs-76-81-82-250.west.biz.rr.com)
04:03:48	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
04:03:57	×	wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds)
04:05:59	→	wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com)
04:05:59	×	wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
04:05:59	→	wroathe joins (~wroathe@user/wroathe)
04:06:09	×	burnsidesLlama quits (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 256 seconds)
04:06:19	×	Null_A_ quits (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Remote host closed the connection)
04:07:03	→	Null_A joins (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e)
04:10:12	×	Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 240 seconds)
04:10:28	→	whatsupdoc joins (uid509081@id-509081.hampstead.irccloud.com)
04:11:36	×	Null_A quits (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 245 seconds)
04:13:13	→	Erutuon joins (~Erutuon@user/erutuon)
04:16:24	<Guest662>	systemfault I think it won't be properly fixed everywhere until next release of hls
04:17:30	<systemfault>	It's okay, it's not really the way. I just wanted to be sure that everything worked as expected :) Thank you
04:17:45	<systemfault>	*it doesn't get in my way
04:19:38	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
04:21:41	×	Guest662 quits (~Guest66@47.186.214.206) (Ping timeout: 256 seconds)
04:21:57	→	Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
04:22:15	×	raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
04:24:06	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds)
04:25:50	→	lavaman joins (~lavaman@98.38.249.169)
04:27:20	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
04:31:44	×	Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Remote host closed the connection)
04:32:27	→	Null_A joins (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e)
04:33:27	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
04:34:21	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Read error: Connection reset by peer)
04:37:00	×	Null_A quits (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds)
04:39:07	×	dka quits (~code-is-a@ns3059207.ip-193-70-33.eu) (Quit: My Ex-Girlfriend once told me: I'm not a slut, I'm just popular)
04:39:32	→	dka joins (~code-is-a@ns3059207.ip-193-70-33.eu)
04:39:50	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
04:40:26	×	dka quits (~code-is-a@ns3059207.ip-193-70-33.eu) (Read error: Connection reset by peer)
04:40:27	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
04:40:47	→	dka joins (~code-is-a@ns3059207.ip-193-70-33.eu)
04:41:53	→	motherfsck joins (~motherfsc@user/motherfsck)
04:41:56	×	dka quits (~code-is-a@ns3059207.ip-193-70-33.eu) (Remote host closed the connection)
04:42:18	→	dka joins (~code-is-a@ns3059207.ip-193-70-33.eu)
04:42:31	→	Null_A joins (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e)
04:45:00	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
04:50:26	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
04:51:00	×	wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds)
04:54:09	×	Null_A quits (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Remote host closed the connection)
04:54:51	→	Null_A joins (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e)
04:54:52	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
04:54:57	→	soxen_ joins (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net)
04:55:04	×	motherfsck quits (~motherfsc@user/motherfsck) (Quit: quit)
04:59:17	×	Null_A quits (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds)
04:59:22	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
05:00:57	×	lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
05:03:37	×	notzmv quits (~zmv@user/notzmv) (Remote host closed the connection)
05:04:54	→	deadmarshal_ joins (~deadmarsh@95.38.112.179)
05:05:28	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
05:10:39	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
05:11:14	→	notzmv joins (~zmv@user/notzmv)
05:11:22	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
05:12:04	×	econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity)
05:12:36	×	agumonke` quits (~user@88.163.231.79) (Ping timeout: 240 seconds)
05:13:25	→	burnsidesLlama joins (~burnsides@rrcs-76-81-82-250.west.biz.rr.com)
05:15:10	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 260 seconds)
05:15:48	→	sergiishm joins (~altern@altern.corbina.com.ua)
05:17:29	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
05:18:05	×	burnsidesLlama quits (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 256 seconds)
05:20:04	×	zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!)
05:21:17	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
05:24:55	→	mbuf joins (~Shakthi@110.225.230.210)
05:26:08	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
05:26:16	×	bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
05:26:46	→	zebrag joins (~chris@user/zebrag)
05:30:05	<janus>	why is nothing happening with mtl? no commits since january even though Bodigrim asked for a release before the GHC 9.4 feature freeze: https://github.com/haskell/mtl/issues/101
05:31:22	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
05:31:31	<janus>	chessai: how can we get the ball rolling? did you see that phadej offered to be a maintainer?
05:33:19	×	zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!)
05:34:04	×	xkuru quits (~xkuru@user/xkuru) (Read error: Connection reset by peer)
05:36:13	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
05:36:26	→	merijn joins (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl)
05:37:22	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
05:40:36	×	img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
05:40:53	→	img joins (~img@user/img)
05:42:20	→	jonathanx__ joins (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
05:43:29	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
05:43:39	→	harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
05:45:16	×	geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
05:45:16	→	allbery_b joins (~geekosaur@xmonad/geekosaur)
05:45:20	allbery_b	is now known as geekosaur
05:47:12	→	bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
05:51:36	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
05:56:03	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
06:00:02	×	tommd quits (~tommd@97-120-41-123.ptld.qwest.net) (Ping timeout: 256 seconds)
06:06:29	×	mmhat quits (~mmh@55d4f85e.access.ecotel.net) (Quit: WeeChat 3.4)
06:09:40	×	merijn quits (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds)
06:11:23	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
06:11:50	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
06:16:48	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
06:17:29	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
06:18:23	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Read error: Connection reset by peer)
06:21:09	×	zaquest quits (~notzaques@5.130.79.72) (Remote host closed the connection)
06:22:06	×	img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
06:22:30	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
06:23:32	→	coot joins (~coot@213.134.190.95)
06:24:30	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
06:25:24	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Read error: Connection reset by peer)
06:27:13	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
06:27:29	→	img joins (~img@user/img)
06:31:30	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
06:32:24	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
06:32:56	→	mcgroin joins (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
06:33:25	×	cynomys quits (~cynomys@user/cynomys) (Quit: leaving)
06:38:30	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
06:39:25	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Read error: Connection reset by peer)
06:42:15	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
06:43:02	→	zaquest joins (~notzaques@5.130.79.72)
06:43:07	×	phma quits (~phma@host-67-44-208-162.hnremote.net) (Read error: Connection reset by peer)
06:44:21	→	phma joins (~phma@host-67-44-209-7.hnremote.net)
06:45:31	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
06:47:04	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
06:49:29	→	lavaman joins (~lavaman@98.38.249.169)
06:49:58	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
06:50:11	→	lavaman joins (~lavaman@98.38.249.169)
06:50:46	→	Null_A joins (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e)
06:53:42	→	yauhsien joins (~yauhsien@61-231-30-36.dynamic-ip.hinet.net)
06:55:17	×	Null_A quits (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds)
06:55:30	→	vicfred joins (~vicfred@user/vicfred)
06:55:59	→	takuan joins (~takuan@178-116-218-225.access.telenet.be)
07:02:17	×	soxen_ quits (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 240 seconds)
07:02:36	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
07:06:31	→	thevishy joins (~Nishant@2405:201:f005:c007:88ef:fc07:ae6e:8552)
07:07:27	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
07:22:25	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
07:22:47	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
07:25:33	<davean>	Terrible idea
07:27:24	×	Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 250 seconds)
07:27:45	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
07:28:31	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
07:29:26	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
07:33:16	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
07:33:28	→	gehmehgeh joins (~user@user/gehmehgeh)
07:35:32	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
07:37:52	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
07:40:26	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
07:43:30	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
07:44:00	×	mbuf quits (~Shakthi@110.225.230.210) (Quit: Leaving)
07:46:32	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
07:47:16	→	tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
07:47:26	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Read error: Connection reset by peer)
07:48:16	×	wyrd quits (~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds)
07:48:26	×	[itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
07:49:48	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
07:53:06	←	jakalx parts (~jakalx@base.jakalx.net) ()
07:53:22	×	yauhsien quits (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
07:53:33	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
07:53:44	→	Erutuon joins (~Erutuon@user/erutuon)
07:53:44	→	wyrd joins (~wyrd@gateway/tor-sasl/wyrd)
07:55:23	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
07:57:20	×	hololeap quits (~hololeap@user/hololeap) (Remote host closed the connection)
07:59:27	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
08:00:09	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
08:01:55	→	zq joins (~zq@xorshift.org)
08:02:09	<zq>	> read "+3.1" :: Float
08:02:10	<lambdabot>	*Exception: Prelude.read: no parse
08:02:31	<zq>	is there a reason why read does not parse the plus sign?
08:02:33	<kevinsjoberg>	I'm reading the Haskell Programming book and it states that the arrow (->), is a type constructor just like Bool except it takes arguments. In the book, running :info (->) return data (->) a b, but that's not what I'm seeing.
08:02:41	<kevinsjoberg>	I'm seeing type (->) = FUN 'Many :: * -> * -> *.
08:03:02	<ski>	> +3.1 :: Float
08:03:03	<lambdabot>	<hint>:1:1: error: parse error on input ‘+’
08:03:45	<ski>	a prefix plus sign is not a part of floating-point numeral syntax, in Haskell
08:05:34	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
08:05:40	ski	idly wonders if kevinsjoberg has a question
08:06:21	→	merijn joins (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl)
08:06:27	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
08:06:47	<kevinsjoberg>	ski: haha, yeah, I guess I never really asked a question. My question is why am I seeing something else? I assume it's because I'm running a different GHC version than the book, but does it also mean the underlying representation is something else?
08:08:07	<ski>	i think it's related to the recent `LinearTypes' support
08:08:40	<ski>	on 8.10.1, i seem to get
08:08:45	<ski>	type (->) :: * -> * -> *
08:08:58	<ski>	data (->) a b -- Defined in ‘GHC.Prim’
08:09:08	→	jakalx joins (~jakalx@base.jakalx.net)
08:09:27	<kevinsjoberg>	Yeah, same as the book. I'm running GHC 9.0.1, so I guess that explains the difference.
08:09:49	<ski>	anyway, `(->) Foo Bar' is the same as `Foo -> Bar'
08:10:33	<kevinsjoberg>	Right, that makes sense. Same as the tuple type constructor (,).
08:11:20	<ski>	s/tuple/pair/
08:11:43	<kevinsjoberg>	Is there a difference? Isn't a pair just a 2-element tuple?
08:11:53	<ski>	yes
08:12:18	<ski>	`(,,)' is also for tuples, but specifically triples
08:12:31	<kevinsjoberg>	Right, of course.
08:12:33	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
08:13:40	<ski>	anyway, tuple notation is mixfix/distfix. while function type notation is just an infix operator (right associative)
08:14:27	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
08:14:40	ski	's not really fond of tuple type notation, in Haskell ..
08:15:37	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
08:19:28	→	jstolarek joins (~jstolarek@staticline-31-183-165-217.toya.net.pl)
08:19:59	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
08:20:34	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
08:21:28	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
08:24:45	→	vorpuni joins (~pvorp@2001:861:3881:c690:3e07:f938:c01:9b48)
08:27:34	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
08:30:15	×	eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:d4cb:ae21:cf60:e6bc) (Remote host closed the connection)
08:35:52	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
08:38:49	→	luna2021 joins (~luna2021@114.246.34.218)
08:39:22	×	gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving)
08:40:17	×	merijn quits (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
08:40:34	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
08:42:14	×	luna2021 quits (~luna2021@114.246.34.218) (Client Quit)
08:42:28	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
08:46:05	×	little_mac quits (~little_ma@2601:410:4300:3ce0:39c3:2e2a:8815:29cc) (Remote host closed the connection)
08:46:34	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
08:48:35	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
08:50:51	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
08:54:29	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
08:56:34	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
09:00:35	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
09:00:35	→	merijn joins (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl)
09:01:28	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
09:02:08	→	zincy_ joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com)
09:05:29	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
09:10:21	→	_ht joins (~quassel@231-169-21-31.ftth.glasoperator.nl)
09:11:36	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
09:16:49	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
09:17:38	×	tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
09:18:43	×	Kaipi quits (~Kaiepi@156.34.47.253) (Remote host closed the connection)
09:19:06	→	Kaipi joins (~Kaiepi@156.34.47.253)
09:21:12	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
09:23:01	→	zeenk joins (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5)
09:23:42	→	Pickchea joins (~private@user/pickchea)
09:30:43	→	eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:ddb1:758a:abd2:2050)
09:31:57	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
09:34:26	→	ProfSimm joins (~ProfSimm@87.227.196.109)
09:34:56	×	eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:ddb1:758a:abd2:2050) (Ping timeout: 245 seconds)
09:37:04	→	polezaivsani joins (~polezaivs@orangeshoelaces.net)
09:37:20	→	kaph_ joins (~kaph@net-109-116-124-149.cust.vodafonedsl.it)
09:37:38	×	kaph quits (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Ping timeout: 256 seconds)
09:39:20	×	deadmarshal_ quits (~deadmarsh@95.38.112.179) (Ping timeout: 256 seconds)
09:39:30	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
09:43:35	→	burnsidesLlama joins (~burnsides@rrcs-76-81-82-250.west.biz.rr.com)
09:44:36	×	vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
09:44:52	→	vglfr joins (~vglfr@coupling.penchant.volia.net)
09:45:36	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
09:48:12	×	Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
09:48:18	→	deadmarshal_ joins (~deadmarsh@95.38.112.179)
09:48:25	→	Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
09:49:37	×	burnsidesLlama quits (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 272 seconds)
09:51:48	×	jstolarek quits (~jstolarek@staticline-31-183-165-217.toya.net.pl) (Ping timeout: 256 seconds)
09:53:21	×	Sgeo_ quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
09:56:48	×	zincy_ quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection)
09:57:03	→	zincy_ joins (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7)
09:59:24	→	DNH joins (~DNH@2a02:8109:b740:2c4:c5b9:4624:182c:3e13)
10:01:57	×	zincy_ quits (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
10:02:01	×	DNH quits (~DNH@2a02:8109:b740:2c4:c5b9:4624:182c:3e13) (Client Quit)
10:04:42	→	zincy_ joins (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7)
10:05:11	×	dextaa_ quits (~dextaa@user/dextaa) (Remote host closed the connection)
10:09:31	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
10:15:24	×	merijn quits (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
10:15:37	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
10:15:42	×	notzmv quits (~zmv@user/notzmv) (Ping timeout: 260 seconds)
10:17:06	×	zincy_ quits (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
10:18:27	→	__monty__ joins (~toonn@user/toonn)
10:19:09	→	burnsidesLlama joins (~burnsides@rrcs-76-81-82-250.west.biz.rr.com)
10:19:32	<reactormonk[m]>	How can I dump the code generated by e.g. generic-lens?
10:20:33	×	burnsidesLlama quits (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection)
10:21:13	→	CiaoSen joins (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
10:22:26	×	Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
10:22:38	→	Vajb joins (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813)
10:24:25	→	jgeerds joins (~jgeerds@55d4548e.access.ecotel.net)
10:24:26	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:24:43	→	lavaman joins (~lavaman@98.38.249.169)
10:24:50	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:25:07	→	lavaman joins (~lavaman@98.38.249.169)
10:25:14	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:25:30	→	lavaman joins (~lavaman@98.38.249.169)
10:25:37	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:25:54	→	lavaman joins (~lavaman@98.38.249.169)
10:26:01	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:26:16	→	lavaman joins (~lavaman@98.38.249.169)
10:26:23	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:26:40	→	lavaman joins (~lavaman@98.38.249.169)
10:26:47	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:26:47	×	coot quits (~coot@213.134.190.95) (Quit: coot)
10:27:02	→	lavaman joins (~lavaman@98.38.249.169)
10:27:09	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:27:24	→	lavaman joins (~lavaman@98.38.249.169)
10:27:31	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:27:46	→	lavaman joins (~lavaman@98.38.249.169)
10:27:53	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:28:10	→	lavaman joins (~lavaman@98.38.249.169)
10:28:17	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:28:31	→	lavaman joins (~lavaman@98.38.249.169)
10:28:38	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:28:55	→	lavaman joins (~lavaman@98.38.249.169)
10:29:02	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:29:18	→	lavaman joins (~lavaman@98.38.249.169)
10:29:25	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:29:42	→	lavaman joins (~lavaman@98.38.249.169)
10:29:49	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:30:04	→	lavaman joins (~lavaman@98.38.249.169)
10:30:11	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:30:25	→	lavaman joins (~lavaman@98.38.249.169)
10:30:32	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:30:48	→	lavaman joins (~lavaman@98.38.249.169)
10:30:55	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:31:11	→	lavaman joins (~lavaman@98.38.249.169)
10:31:16	→	coot joins (~coot@213.134.190.95)
10:31:18	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:31:34	→	lavaman joins (~lavaman@98.38.249.169)
10:31:41	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:31:58	→	lavaman joins (~lavaman@98.38.249.169)
10:32:01	→	DNH joins (~DNH@2a02:8109:b740:2c4:c5b9:4624:182c:3e13)
10:32:05	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:32:19	→	lavaman joins (~lavaman@98.38.249.169)
10:32:26	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:32:36	×	vglfr quits (~vglfr@coupling.penchant.volia.net) (Ping timeout: 256 seconds)
10:32:41	→	lavaman joins (~lavaman@98.38.249.169)
10:32:48	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:32:56	→	vglfr joins (~vglfr@coupling.penchant.volia.net)
10:33:03	→	lavaman joins (~lavaman@98.38.249.169)
10:33:10	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:33:24	→	lavaman joins (~lavaman@98.38.249.169)
10:33:31	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:33:46	→	lavaman joins (~lavaman@98.38.249.169)
10:33:53	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:34:07	→	lavaman joins (~lavaman@98.38.249.169)
10:34:15	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:34:30	→	lavaman joins (~lavaman@98.38.249.169)
10:34:37	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:34:39	×	ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection)
10:34:52	<jackdk>	reactormonk[m]: not sure, but `:kind! Rep YourType` might show you the type the generic-lens typeclasses are working on
10:34:52	→	lavaman joins (~lavaman@98.38.249.169)
10:34:59	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:35:14	→	lavaman joins (~lavaman@98.38.249.169)
10:35:21	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:35:36	→	lavaman joins (~lavaman@98.38.249.169)
10:35:43	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:35:51	×	DNH quits (~DNH@2a02:8109:b740:2c4:c5b9:4624:182c:3e13) (Client Quit)
10:35:57	→	lavaman joins (~lavaman@98.38.249.169)
10:36:04	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:36:20	→	lavaman joins (~lavaman@98.38.249.169)
10:36:27	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:36:42	→	lavaman joins (~lavaman@98.38.249.169)
10:36:49	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:37:03	→	lavaman joins (~lavaman@98.38.249.169)
10:37:10	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:37:26	→	lavaman joins (~lavaman@98.38.249.169)
10:37:33	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:37:49	→	lavaman joins (~lavaman@98.38.249.169)
10:37:51	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 245 seconds)
10:37:56	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:38:12	→	lavaman joins (~lavaman@98.38.249.169)
10:38:19	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:38:34	→	lavaman joins (~lavaman@98.38.249.169)
10:38:41	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:38:57	→	lavaman joins (~lavaman@98.38.249.169)
10:39:04	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:39:20	→	lavaman joins (~lavaman@98.38.249.169)
10:39:27	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:39:42	→	lavaman joins (~lavaman@98.38.249.169)
10:39:49	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:40:04	→	lavaman joins (~lavaman@98.38.249.169)
10:40:11	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:40:28	→	lavaman joins (~lavaman@98.38.249.169)
10:40:31	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
10:40:31	→	tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
10:40:35	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:40:50	→	lavaman joins (~lavaman@98.38.249.169)
10:40:57	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:41:13	→	lavaman joins (~lavaman@98.38.249.169)
10:41:20	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:41:36	→	lavaman joins (~lavaman@98.38.249.169)
10:41:43	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:41:57	→	lavaman joins (~lavaman@98.38.249.169)
10:42:05	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:42:20	→	lavaman joins (~lavaman@98.38.249.169)
10:42:27	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:42:29	→	yhsiveht joins (~Nishant@49.37.242.151)
10:42:43	→	lavaman joins (~lavaman@98.38.249.169)
10:42:50	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:43:04	→	lavaman joins (~lavaman@98.38.249.169)
10:43:11	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:43:24	×	thevishy quits (~Nishant@2405:201:f005:c007:88ef:fc07:ae6e:8552) (Ping timeout: 240 seconds)
10:43:25	→	lavaman joins (~lavaman@98.38.249.169)
10:43:32	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:43:47	→	lavaman joins (~lavaman@98.38.249.169)
10:43:54	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:44:07	→	lavaman joins (~lavaman@98.38.249.169)
10:44:15	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:44:30	→	lavaman joins (~lavaman@98.38.249.169)
10:44:37	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:44:52	→	lavaman joins (~lavaman@98.38.249.169)
10:44:59	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:45:13	→	lavaman joins (~lavaman@98.38.249.169)
10:45:20	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:45:37	→	lavaman joins (~lavaman@98.38.249.169)
10:45:44	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:45:59	→	lavaman joins (~lavaman@98.38.249.169)
10:46:06	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:46:11	×	Pickchea quits (~private@user/pickchea) (Ping timeout: 245 seconds)
10:46:20	→	lavaman joins (~lavaman@98.38.249.169)
10:46:27	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:46:38	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
10:46:42	→	lavaman joins (~lavaman@98.38.249.169)
10:46:49	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:46:52	×	yhsiveht quits (~Nishant@49.37.242.151) (Client Quit)
10:47:03	→	lavaman joins (~lavaman@98.38.249.169)
10:47:08	→	thevishy joins (~Nishant@2405:201:f005:c007:dd5:8563:45cc:6966)
10:47:10	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:47:27	→	lavaman joins (~lavaman@98.38.249.169)
10:47:34	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:47:38	→	DNH joins (~DNH@2a02:8109:b740:2c4:c5b9:4624:182c:3e13)
10:47:49	→	lavaman joins (~lavaman@98.38.249.169)
10:47:56	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:48:11	→	lavaman joins (~lavaman@98.38.249.169)
10:48:18	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:48:35	→	lavaman joins (~lavaman@98.38.249.169)
10:48:42	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:48:57	→	lavaman joins (~lavaman@98.38.249.169)
10:49:03	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:49:18	→	lavaman joins (~lavaman@98.38.249.169)
10:49:25	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:49:40	→	lavaman joins (~lavaman@98.38.249.169)
10:49:47	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:49:54	→	dextaa_ joins (~dextaa@user/dextaa)
10:49:55	×	raym quits (~raym@user/raym) (Quit: kernel update, rebooting...)
10:50:02	→	lavaman joins (~lavaman@98.38.249.169)
10:50:09	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
10:53:52	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
10:54:13	→	raym joins (~raym@user/raym)
10:56:10	→	agumonke` joins (~user@88.163.231.79)
10:58:38	×	DNH quits (~DNH@2a02:8109:b740:2c4:c5b9:4624:182c:3e13) (Quit: My MacBook has gone to sleep. ZZZzzz…)
10:59:54	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
11:04:26	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
11:04:57	→	Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
11:09:25	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
11:10:32	×	coot quits (~coot@213.134.190.95) (Quit: coot)
11:14:13	×	agumonke` quits (~user@88.163.231.79) (Remote host closed the connection)
11:14:25	→	DNH joins (~DNH@2a02:8109:b740:2c4:c5b9:4624:182c:3e13)
11:14:32	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
11:15:25	→	agumonkey joins (~user@88.163.231.79)
11:17:40	→	zincy_ joins (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7)
11:20:38	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
11:21:11	×	vorpuni quits (~pvorp@2001:861:3881:c690:3e07:f938:c01:9b48) (Ping timeout: 245 seconds)
11:23:00	×	Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds)
11:23:36	→	burnsidesLlama joins (~burnsides@rrcs-76-81-82-250.west.biz.rr.com)
11:24:42	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
11:26:14	→	vorpuni joins (~pvorp@i19-les02-ntr-176-186-156-105.sfr.lns.abo.bbox.fr)
11:27:35	→	jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
11:27:48	×	burnsidesLlama quits (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 240 seconds)
11:29:16	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
11:31:16	×	vorpuni quits (~pvorp@i19-les02-ntr-176-186-156-105.sfr.lns.abo.bbox.fr) (Remote host closed the connection)
11:31:27	×	whatsupdoc quits (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
11:31:41	→	vorpuni joins (~pvorp@2001:861:3881:c690:3e07:f938:c01:9b48)
11:32:47	→	eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:ddb1:758a:abd2:2050)
11:34:30	×	zachel_ quits (~zachel@user/zachel) (Quit: DIsconnected: v7+nano)
11:36:57	×	eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:ddb1:758a:abd2:2050) (Ping timeout: 240 seconds)
11:37:59	→	zachel joins (~zachel@user/zachel)
11:38:20	×	Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 256 seconds)
11:39:32	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
11:41:34	→	Pickchea joins (~private@user/pickchea)
11:43:47	→	mikoto-chan joins (~mikoto-ch@213.177.151.239)
11:44:58	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
11:45:39	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
11:47:55	→	pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
11:49:40	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
11:50:02	×	jgeerds quits (~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 240 seconds)
11:51:03	→	ardell joins (~ardell@user/ardell)
11:52:55	→	Null_A joins (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e)
11:53:36	×	vgtw_ quits (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in)
11:54:43	→	lavaman joins (~lavaman@98.38.249.169)
11:55:33	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
11:57:17	×	Null_A quits (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds)
12:01:39	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
12:01:49	→	vgtw joins (~vgtw@user/vgtw)
12:05:39	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
12:06:28	×	Vajb quits (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) (Read error: Connection reset by peer)
12:07:33	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
12:09:10	→	fef joins (~thedawn@user/thedawn)
12:10:04	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
12:12:07	×	chenqisu1 quits (~chenqisu1@183.217.201.47) (Ping timeout: 272 seconds)
12:12:42	→	Tuplanolla joins (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi)
12:13:39	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
12:13:48	→	merijn joins (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl)
12:14:33	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
12:15:37	×	mvk quits (~mvk@2607:fea8:5cc3:7e00::45ee) (Ping timeout: 240 seconds)
12:20:41	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
12:22:12	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
12:22:44	→	Everything joins (~Everythin@37.115.210.35)
12:25:02	→	ub joins (~Thunderbi@p548c8d84.dip0.t-ipconnect.de)
12:25:17	×	ubert quits (~Thunderbi@p200300ecdf3be9b909e125961b02a69e.dip0.t-ipconnect.de) (Remote host closed the connection)
12:25:17	ub	is now known as ubert
12:26:12	×	mcgroin quits (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds)
12:26:34	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
12:27:42	→	notzmv joins (~zmv@user/notzmv)
12:29:46	×	pavonia quits (~user@user/siracusa) (Quit: Bye!)
12:31:08	×	DNH quits (~DNH@2a02:8109:b740:2c4:c5b9:4624:182c:3e13) (Quit: My MacBook has gone to sleep. ZZZzzz…)
12:32:40	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
12:33:34	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Read error: Connection reset by peer)
12:35:56	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds)
12:39:41	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
12:40:33	×	CiaoSen quits (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
12:40:43	→	Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
12:45:35	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
12:45:54	×	merijn quits (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds)
12:50:25	→	machinedgod joins (~machinedg@24.105.81.50)
12:51:41	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
12:51:52	×	img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
12:52:35	→	yauhsien joins (~Yau-Hsien@61-231-30-36.dynamic-ip.hinet.net)
12:54:09	→	img joins (~img@user/img)
12:54:50	×	Pickchea quits (~private@user/pickchea) (Ping timeout: 256 seconds)
12:56:35	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
12:57:07	×	pie_ quits (~pie_bnc@user/pie/x-2818909) (Ping timeout: 256 seconds)
12:59:04	→	pie_ joins (~pie_bnc@user/pie/x-2818909)
13:00:54	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
13:02:37	→	MoC joins (~moc@user/moc)
13:02:42	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
13:02:48	→	yhsiveht joins (~Nishant@49.37.242.151)
13:05:56	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
13:06:16	×	thevishy quits (~Nishant@2405:201:f005:c007:dd5:8563:45cc:6966) (Ping timeout: 250 seconds)
13:07:28	×	vorpuni quits (~pvorp@2001:861:3881:c690:3e07:f938:c01:9b48) (Remote host closed the connection)
13:07:52	×	pie_ quits (~pie_bnc@user/pie/x-2818909) (Ping timeout: 256 seconds)
13:08:46	×	vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
13:08:48	→	yauhsien_ joins (~yauhsien@61-231-30-36.dynamic-ip.hinet.net)
13:08:55	→	vglfr joins (~vglfr@coupling.penchant.volia.net)
13:09:10	→	vorpuni joins (~pvorp@2001:861:3881:c690:1c84:d4a:1e89:fb0b)
13:11:16	→	pie_ joins (~pie_bnc@user/pie/x-2818909)
13:12:26	→	mmhat joins (~mmh@55d4f85e.access.ecotel.net)
13:15:43	→	unit73e joins (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291)
13:18:36	→	coot joins (~coot@213.134.190.95)
13:21:08	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
13:25:38	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 252 seconds)
13:25:38	×	vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
13:25:53	→	vglfr joins (~vglfr@coupling.penchant.volia.net)
13:34:14	→	eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:ddb1:758a:abd2:2050)
13:36:03	×	MoC quits (~moc@user/moc) (Quit: Konversation terminated!)
13:38:17	×	eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:ddb1:758a:abd2:2050) (Ping timeout: 240 seconds)
13:40:47	×	phma quits (~phma@host-67-44-209-7.hnremote.net) (Ping timeout: 272 seconds)
13:41:23	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
13:45:36	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
13:45:37	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
13:48:36	×	zincy_ quits (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection)
13:49:27	→	soxen_ joins (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net)
13:51:42	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
13:52:36	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Read error: Connection reset by peer)
13:52:53	→	Null_A joins (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e)
13:54:46	→	zincy_ joins (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c)
13:57:14	×	Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
13:57:32	→	Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
13:58:43	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
13:59:11	→	milesrout joins (ce261f06ff@2604:bf00:561:2000::257)
13:59:37	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Read error: Connection reset by peer)
14:02:06	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
14:05:04	→	jgeerds joins (~jgeerds@55d4548e.access.ecotel.net)
14:05:05	×	vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
14:05:13	×	yauhsien_ quits (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Remote host closed the connection)
14:05:44	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
14:06:02	→	vglfr joins (~vglfr@coupling.penchant.volia.net)
14:06:45	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
14:06:45	×	vglfr quits (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer)
14:06:53	→	vglfr joins (~vglfr@coupling.penchant.volia.net)
14:07:48	×	Null_A quits (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds)
14:09:55	×	kaph_ quits (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Ping timeout: 272 seconds)
14:10:17	×	vysn quits (~vysn@user/vysn) (Ping timeout: 240 seconds)
14:10:40	→	yauhsien_ joins (~yauhsien@61-231-30-36.dynamic-ip.hinet.net)
14:11:55	→	burnsidesLlama joins (~burnsides@rrcs-76-81-82-250.west.biz.rr.com)
14:12:56	×	jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds)
14:14:50	×	kritzefitz quits (~kritzefit@debian/kritzefitz) (Remote host closed the connection)
14:15:36	×	yauhsien_ quits (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Ping timeout: 272 seconds)
14:15:37	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
14:16:42	→	jpds joins (~jpds@gateway/tor-sasl/jpds)
14:17:30	×	burnsidesLlama quits (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 272 seconds)
14:18:31	→	kritzefitz joins (~kritzefit@debian/kritzefitz)
14:19:22	×	unit73e quits (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) (Quit: Leaving)
14:20:25	×	coot quits (~coot@213.134.190.95) (Quit: coot)
14:20:55	→	Null_A joins (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e)
14:21:43	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
14:22:57	×	kritzefitz quits (~kritzefit@debian/kritzefitz) (Ping timeout: 240 seconds)
14:23:41	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
14:28:01	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
14:33:25	→	kaph joins (~kaph@net-109-116-124-149.cust.vodafonedsl.it)
14:34:15	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
14:35:06	×	geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
14:37:57	×	Null_A quits (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds)
14:39:06	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
14:39:23	→	geekosaur joins (~geekosaur@xmonad/geekosaur)
14:39:23	×	yhsiveht quits (~Nishant@49.37.242.151) (Quit: Leaving)
14:40:23	×	zeenk quits (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) (Quit: Konversation terminated!)
14:41:44	→	jalil joins (~jalil@2a01:e0a:277:4100:f873:5644:a9ac:e0d)
14:42:02	→	[itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
14:42:41	×	tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
14:45:37	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
14:46:33	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
14:48:06	<janus>	davean: which is the terrible idea? removing the re-exports? or having phadej be maintainer?
14:48:12	→	merijn joins (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl)
14:50:09	→	Pickchea joins (~private@user/pickchea)
14:50:36	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
14:50:57	×	mmhat quits (~mmh@55d4f85e.access.ecotel.net) (Quit: WeeChat 3.4)
14:51:44	→	albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
14:55:46	→	tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
14:55:50	×	albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
14:57:12	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
14:59:37	×	Everything quits (~Everythin@37.115.210.35) (Quit: leaving)
14:59:46	→	o-90 joins (~o-90@gateway/tor-sasl/o-90)
15:01:27	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
15:04:31	→	burnsidesLlama joins (~burnsides@rrcs-76-81-82-250.west.biz.rr.com)
15:04:36	×	o-90 quits (~o-90@gateway/tor-sasl/o-90) (Ping timeout: 240 seconds)
15:07:08	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
15:07:26	×	oilt^ quits (~oilt@50.224.20.226) (Ping timeout: 256 seconds)
15:07:26	→	Null_A joins (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e)
15:08:37	→	fryguybob joins (~fryguybob@cpe-74-67-169-145.rochester.res.rr.com)
15:09:22	→	bontaq joins (~user@ool-45779fe5.dyn.optonline.net)
15:09:27	×	burnsidesLlama quits (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 272 seconds)
15:11:57	×	Null_A quits (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds)
15:12:24	×	jgeerds quits (~jgeerds@55d4548e.access.ecotel.net) (Remote host closed the connection)
15:12:51	→	little_mac joins (~little_ma@2601:410:4300:3ce0:3499:893c:26f0:bcd0)
15:14:32	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds)
15:15:22	×	ardell quits (~ardell@user/ardell) (Ping timeout: 256 seconds)
15:17:19	×	merijn quits (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds)
15:20:10	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
15:23:24	×	zincy_ quits (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) (Remote host closed the connection)
15:25:34	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
15:28:45	→	zincy_ joins (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c)
15:30:45	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
15:34:07	<texasmynsted>	If you were going to create something like a form or something, for yourself, to speed up data entry for a sqlite db, using haskell, what would you do?
15:35:19	sergiishm	is now known as altern
15:35:51	→	eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:ddb1:758a:abd2:2050)
15:36:27	×	zincy_ quits (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) (Remote host closed the connection)
15:37:00	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
15:37:31	→	zincy_ joins (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c)
15:38:06	<WhateverRabbit>	i will take a hasql
15:39:12	×	soxen_ quits (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 272 seconds)
15:39:36	<janus>	texasmynsted: the question is too open
15:40:23	×	eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:ddb1:758a:abd2:2050) (Ping timeout: 252 seconds)
15:40:25	<janus>	if i wanted really fast data entry, i'd make the form submit on enter and let it provide confirmation inline without changing the page
15:40:31	→	cosimone joins (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20)
15:40:46	<janus>	then you could quickly adjust values and just hit enter :P
15:42:24	<lechner_>	texasmynsted: how fast, and why only for yourself?
15:42:34	×	zincy_ quits (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) (Remote host closed the connection)
15:44:19	→	gehmehgeh joins (~user@user/gehmehgeh)
15:44:48	→	Guest69 joins (~Guest69@vmi275462.contaboserver.net)
15:45:22	→	zincy_ joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com)
15:46:13	<Guest69>	sorry for the silly question - but how do I login from my system into this chat with my username/pass ? it says invalid login
15:46:27	<Guest69>	logged in on my phone irc app
15:47:47	<geekosaur>	that dependson what client you are using (if any, there being a webchat as well) or whether you're using a service like matrix or irccloud
15:48:20	×	lagash quits (lagash@lagash.shelltalk.net) (Ping timeout: 250 seconds)
15:48:54	<Guest69>	its irccloud - so I got to their website and enter username/pass ?
15:49:11	<Guest69>	on my laptop
15:51:04	×	jrm quits (~jrm@156.34.173.250) (Ping timeout: 256 seconds)
15:52:30	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
15:53:07	<worldhelloworld>	guess - that worked - to answer my own question
15:53:16	×	Guest69 quits (~Guest69@vmi275462.contaboserver.net) (Quit: Client closed)
15:55:19	→	soxen_ joins (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net)
15:56:36	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
15:56:45	<worldhelloworld>	https://www.irccloud.com/pastebin/Edn5PYWb/
15:58:59	<geekosaur>	yoyu should generally include the error message as well
16:01:07	<geekosaur>	but the problem here is you specify your function as being a -> Bool but then you specify the actual type of a as Bool
16:01:18	<geekosaur>	:t \f -> and . map f
16:01:19	<lambdabot>	(a -> Bool) -> [a] -> Bool
16:02:08	<geekosaur>	if you intend it to always be [Bool] instead of the more general [a] then you also have to specify that for the function
16:02:49	→	vysn joins (~vysn@user/vysn)
16:02:50	<geekosaur>	that said, its'not a very interesting function if you do that since there's only a small handful of interesting (Bool -> Bool) functions
16:04:46	<worldhelloworld>	It's actually an excercise from a book, this is the Q to define a function : Decide if all elements of a list satisfy a predicate:
16:04:46	<worldhelloworld>	all :: (a -> Bool) -> [Bool] -> Bool
16:05:25	<geekosaur>	it actually says [Bool]? that doesn't fit the description
16:05:59	<worldhelloworld>	yes - I copied it from the text - do you mean my definition doesn't fit?
16:06:05	→	mvk joins (~mvk@2607:fea8:5cc3:7e00::45ee)
16:06:36	<geekosaur>	"all elements of a list satisfy a predicate" stromgly suggests the list's elements are not simply Bools
16:07:20	<geekosaur>	in fact it suggests the type I showed earlier, (a -> Bool) -> [a] -> Bool
16:08:43	<geekosaur>	and in any case that type signature does not work for your definition. but by the description of the problem it's the type signature that's wrong, not the function
16:09:08	<worldhelloworld>	it does compile fine with the type you suggested [a]
16:09:34	<geekosaur>	% all' :: (a -> Bool) -> [Bool] -> Bool; all' f = and . map f
16:09:34	<yahb>	geekosaur: ; <interactive>:4:49: error:; * Couldn't match type `a' with `Bool'; Expected: [Bool] -> Bool; Actual: [a] -> Bool; `a' is a rigid type variable bound by; the type signature for:; all' :: forall a. (a -> Bool) -> [Bool] -> Bool; at <interactive>:4:1-37; * In the expression: and . map f; In an equation for all': all' f = and . map f; * Relevant b
16:09:41	<worldhelloworld>	i guess we found a typo in Programming in Haskell 2nd edition then
16:09:49	<geekosaur>	interesting
16:10:52	<geekosaur>	"Page 89. The type [Bool] should be [a] in the type for all and any." https://www.cs.nott.ac.uk/~pszgmh/pih-errata.html
16:11:20	<worldhelloworld>	aha - yes was just looking at that , you beat me to it!
16:12:01	<worldhelloworld>	took me two days, I thought I would try to finally understand the weird compiler errors if I solved this - turned out to be a typo lolz
16:12:45	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
16:13:38	×	zincy_ quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection)
16:15:25	→	wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com)
16:15:25	×	wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
16:15:25	→	wroathe joins (~wroathe@user/wroathe)
16:15:59	<worldhelloworld>	thanks @geekosaur , @lambdabot and @yahb
16:16:46	→	coot joins (~coot@213.134.190.95)
16:17:15	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 252 seconds)
16:18:46	→	Null_A joins (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e)
16:19:06	×	vicfred quits (~vicfred@user/vicfred) (Quit: Leaving)
16:21:13	×	Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
16:23:21	<worldhelloworld>	--Tweaked the above code to add array representation xs (earlier wasn't there and compiled fine)
16:23:21	<worldhelloworld>	all' :: (a -> Bool) -> [a] -> Bool
16:23:21	<worldhelloworld>	all' f xs = and . (map f xs)
16:23:21	<worldhelloworld>	--results in the following error when compiling - Why?
16:23:21	<worldhelloworld>	{-2-functions-higherorder.hs:2:13: error:
16:23:21	<worldhelloworld>	• Couldn't match expected type ‘Bool’ with actual type ‘a0 -> Bool’
16:23:22	<worldhelloworld>	• Probable cause: ‘(.)’ is applied to too few arguments
16:23:22	<worldhelloworld>	In the expression: and . (map f xs)
16:23:23	<worldhelloworld>	In an equation for ‘all'’: all' f xs = and . (map f xs)
16:23:23	<worldhelloworld>	\|
16:23:24	<worldhelloworld>	2 \| all' f xs = and . (map f xs) -}
16:24:25	<geekosaur>	it's either `and (map f xs)` or `(and . map f) xs`
16:24:32	<monochrom>	That looks like not making up your mind whether you want "all f = and . map f" or "all f xs = and (map f xs)".
16:25:50	<geekosaur>	@src (.)
16:25:50	<lambdabot>	(f . g) x = f (g x)
16:28:39	→	Vajb joins (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813)
16:28:44	<texasmynsted>	janus and lechner_ : faster than manual SQL statements from the command line. Only myself because it is just for tracking invoices
16:28:46	<worldhelloworld>	interesting so the (.) should be put between functions before being applied to arguments from the looks of `(and . map f) xs` ? will have to read more about the (.)
16:29:14	<texasmynsted>	Nobody else enters anything they only see the report
16:29:58	→	zincy_ joins (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c)
16:30:25	<geekosaur>	worldhelloworld, yes, look at the definition of (.) that I showed earlier, it's exactly the same form
16:32:08	<worldhelloworld>	great, thanks
16:33:02	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
16:33:27	<worldhelloworld>	@lamdabot are you sitting with the book open? :D Had to revisit it, and now I finally get it, composition operator returns a function - my imperative mind needs to get over these obstacles
16:33:27	<lambdabot>	Unknown command, try @list
16:34:10	<geekosaur>	it's just a bot :) it comes with a (not always accurate) database of function definitions though
16:34:18	×	zincy_ quits (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) (Ping timeout: 252 seconds)
16:35:17	×	Null_A quits (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 256 seconds)
16:35:18	<geekosaur>	as to functions that return functions, one way to think about map is: map :: (a -> b) -> ([a] -> [b])
16:35:21	<worldhelloworld>	haha, I really need to know how haskell works as well as IRC - both, I'm going to shhh and quit making a fool of myself ..... until the next problem :)
16:35:44	<geekosaur>	that is, it transforms a function over items into a function over lists of items
16:35:57	<texasmynsted>	I am guessing you all would recommend making web pages for order entry? Even if just for self?
16:36:14	<geekosaur>	texasmynsted, it'd be much easier, and probably saner
16:36:45	<geekosaur>	but I'm also wondering how much of this hledger would already do for you
16:37:12	<geekosaur>	granting that it's probably not well wrapped for invoice entry as such
16:37:19	<geekosaur>	(no line items, etc.)
16:38:06	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
16:38:12	×	vysn quits (~vysn@user/vysn) (Ping timeout: 240 seconds)
16:38:19	<worldhelloworld>	sorry but what are "web pages for order entry" ? some order keeping system?
16:38:55	<geekosaur>	yes, texasmynsted is writing a simple order entry / invoicing system
16:40:04	<worldhelloworld>	oh - would love to know more, to learn, specially the webpage/haskell combination - which in my mind, i'd assumed, not a lot of people use
16:41:14	<worldhelloworld>	meanwhile, still trying to wrap my head around your definition @geekosaur "as to functions that return functions, one way to think about map is: map :: (a -> b) -> ([a] -> [b]) ....... that is, it transforms a function over items into a function over lists of items" , very interesting
16:41:23	<geekosaur>	haskell is relatively popular as a web service backend. frontend not so much but there's work being done there as well (ghcjs exists and should become part of ghc as of 9.6 according to current plans)
16:41:33	<texasmynsted>	I did not really thing of hledger.
16:41:40	<texasmynsted>	s/thing/think/
16:41:48	<geekosaur>	but there's also purescript and elm, which have haskell-like features while compiling to javascript
16:44:30	<worldhelloworld>	interesting, I hadn't much clue people use haskell for backend - wonder how it compares to other languages/performance ........ will google ghcjs now :D
16:44:39	<geekosaur>	texasmynsted, depending on how involved your orders are you might not need more than a simple ledger system. if you have multipleline items or want things like a pricing system fo rorder entry, you would want an actual order entry and invoicing system
16:44:54	×	Pickchea quits (~private@user/pickchea) (Ping timeout: 256 seconds)
16:45:03	×	bollu quits (~bollu@159.65.151.13) (Quit: Ping timeout (120 seconds))
16:45:15	<geekosaur>	but in that case I'd be tempted to go for someone elses's tested solution rather than trying to roll my own. (I wrote such from 1986-1996, have a decent amount of experience there :)
16:45:23	→	bollu joins (~bollu@159.65.151.13)
16:46:07	<texasmynsted>	:-)
16:46:51	<worldhelloworld>	that nick starts making more sense now :D inspiring!
16:47:02	×	jalil quits (~jalil@2a01:e0a:277:4100:f873:5644:a9ac:e0d) (Remote host closed the connection)
16:47:36	<texasmynsted>	Yeah. For complicated things I moved to Xero (different company). For this I am just tracking incoming vendors sending me invoices for payment
16:47:51	→	jrm joins (~jrm@156.34.173.250)
16:47:52	<texasmynsted>	and me tracking if they have been paid, and where the costs are going.
16:47:54	<texasmynsted>	sigh
16:48:04	<texasmynsted>	I guess that is an accounting system.
16:48:39	<texasmynsted>	geekosaur: was this you made for just you?
16:49:59	<geekosaur>	no, was first working for a company that had an in-house order entry system, then went to work for a value-added reseller that among other things wrote and customized OE/invoicing/receivables/etc. systems for its customers
16:50:37	×	ishutin quits (~ishutin@178-164-188-3.pool.digikabel.hu) (Ping timeout: 240 seconds)
16:51:41	<texasmynsted>	wow oaky
16:51:46	→	waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
16:51:55	<texasmynsted>	that sounds like a serious system
16:51:55	<worldhelloworld>	just curious, for something like a simple invoicing system - do you use custom data types? Or built in ones with some kind of a database? trying to understand the approach
16:52:23	<geekosaur>	generally built-in types for a simple invoicing system
16:52:37	→	ishutin joins (~ishutin@178-164-208-247.pool.digikabel.hu)
16:52:43	<geekosaur>	and often with the more complicated ones: most databases were designed for this kind of usage, after all
16:53:08	<texasmynsted>	For me, I am going for a simple as possible, so storage is using types defined by sqlite/duckdb but in Haskell I would expect custom.
16:53:16	<geekosaur>	\it's one reason numeric types are often defined in terms of their display characteristics, because it helps with designing forms and reports
16:53:16	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
16:53:19	→	xkuru joins (~xkuru@user/xkuru)
16:53:43	<texasmynsted>	The next step for me would be automating some of the data entry by reading pdf invoices with megaparsec
16:53:44	<geekosaur>	(talking specifically about the database end of things)
16:53:52	<geekosaur>	ugh
16:53:58	<geekosaur>	that's ginna be a nightmare
16:54:06	<geekosaur>	PDF is a lousy input format
16:54:12	<texasmynsted>	which? megaparsec?
16:54:45	<geekosaur>	the problem with PDF is what you see rendered looks like it's discrete, but the actual contents of the PDF are tiny little move-print-move-print operations
16:54:49	<texasmynsted>	I could "try" to dictate that all vendors send me a csv in a fixed format with the pdf.
16:55:23	<worldhelloworld>	yea I would have expected custom datatypes too, maybe I am just excited learning about it for now, but good to know to go with built-in types .... i guess it would help with compatibility too if a language/tooling change occurs in the lifecycle of the product
16:55:27	<texasmynsted>	The few fields I _need_
16:55:28	<geekosaur>	and you get to try to figure out if a move is just aligning digits with each other or going to the next field
16:55:29	→	ardell joins (~ardell@user/ardell)
16:56:05	<texasmynsted>	I want to be able to easily move data to other places for other things. Move to duckdb, move to postgresql
16:56:39	<texasmynsted>	I also want to use this experience so I can apply it to a much bigger problem
16:56:43	<geekosaur>	amd there's no guarantee the pdf wascreated in row major order either (that is, it could output by column instead)
16:57:30	<texasmynsted>	That is true.
16:58:12	<worldhelloworld>	so if not pdf, then what?
16:58:21	<texasmynsted>	But most vendors send new invoices that look much the same as invoices they sent the month prior. If I can create a parser for each vendor is should work most of the time for them
16:58:23	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
16:58:44	<geekosaur>	worldhelloworld, csv is nice as texasmynsted already mentioned
16:58:50	<texasmynsted>	I would just have a bunch of custom parsers
16:59:00	<geekosaur>	there are actually standards for digital transmission of orders and invoices
16:59:01	<worldhelloworld>	hmm ok
16:59:19	<geekosaur>	widely used by large companies
16:59:22	<texasmynsted>	I think most vendors would consider CSV because it would be so easy for them to create.
16:59:48	<texasmynsted>	The problem is that many of them have invoices _automaticaly_ generated by their accounting system.
17:00:06	<texasmynsted>	Those produce a web page and or a pdf.
17:01:08	<worldhelloworld>	@texasmynsted if you don't mind me asking, what stack are you using for such a project?
17:01:08	<lambdabot>	Unknown command, try @list
17:01:08	<texasmynsted>	I suppose I could tell them what I am looking for and see if their system can produce a structured file (CSV or something).
17:02:50	<texasmynsted>	Stack hmm. The accounting people use QuickBooks. I have been just keeping track in a plain text file, then csv, then sqlite. . .
17:03:23	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
17:03:37	→	Unicorn_Princess joins (~Unicorn_P@46-54-248-191.static.kate-wing.si)
17:03:41	<texasmynsted>	I do not want to get in the way of what the accounting people do. I just want to keep track of some things myself.
17:04:09	<worldhelloworld>	so I guess a db (with its built in types) is best for data portability?
17:05:30	→	Null_A joins (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e)
17:06:18	×	jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
17:06:33	<texasmynsted>	yes
17:07:05	→	CiaoSen joins (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
17:07:23	<worldhelloworld>	ok
17:07:38	×	elkcl quits (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Remote host closed the connection)
17:08:21	<texasmynsted>	hledger looks like overkill, but maybe not
17:08:41	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 245 seconds)
17:09:21	→	elkcl joins (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru)
17:10:12	×	Null_A quits (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds)
17:11:42	<texasmynsted>	still reading the hledger docs and not finding where the data are stored heh
17:12:31	<texasmynsted>	custom, plain text file format it seems.
17:12:46	<texasmynsted>	I mean structured text
17:13:06	×	pie_ quits (~pie_bnc@user/pie/x-2818909) (Quit: pie_)
17:13:07	<dsal>	Yeah, that's hledger's thing.
17:13:17	×	tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
17:13:38	→	merijn joins (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl)
17:13:56	<texasmynsted>	hhm
17:13:57	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
17:14:49	<texasmynsted>	That is good but might not help me explore my other larger data problem that I was using this as a toy/prototype
17:15:33	→	burnsidesLlama joins (~burnsides@rrcs-76-81-82-250.west.biz.rr.com)
17:16:29	→	DNH joins (~DNH@2a02:8108:1100:16d8:5900:7509:5d83:fce2)
17:17:50	<geekosaur>	yeh, hledger and its inspiration ledger are all about using simple plain text database formats
17:18:17	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
17:19:30	<sm>	good morning 👋🏻
17:20:08	<geekosaur>	ohai
17:20:19	→	zer0bitz joins (~zer0bitz@2001:2003:f74d:b800:c137:5b23:feaf:eefd)
17:20:47	<sm>	(I'm tickled that it could be hard to discover in hledger docs where it stores data.. TIL it's possible !)
17:21:03	→	zincy_ joins (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c)
17:21:35	<texasmynsted>	hehe
17:22:06	<texasmynsted>	Structured text as per its mission it seems
17:23:16	<sm>	there are people (not many) in the plaintextaccounting community ingesting things from pdf
17:25:24	×	zincy_ quits (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) (Ping timeout: 240 seconds)
17:26:21	<texasmynsted>	I really like this but it does not look like it addresses the problem I am trying to solve]'
17:27:11	<texasmynsted>	The problem I am trying to solve is easily insert data into sqlite or other database.
17:27:13	<sm>	hledger's native format is a plain text one, but think of that as a common exchange/reporting format, plain text accounting often involves importing/exporting/converting between whatever formats you have
17:27:36	<sm>	you mentioned ingesting pdf invoices, I guess that's a separate problem
17:27:52	<dsal>	That sounds like a large collection of problems. heh
17:27:59	<dsal>	"pdf" means "paper" to me.
17:28:00	<texasmynsted>	yes it has import/export and export to CSV as a part of its basic function
17:28:13	<geekosaur>	yeh, I described the problems with pdf earlier
17:28:39	<sm>	how complex is the data you want to enter texasmynsted ? could you express it as csv ? that's the most compact format for data entry
17:28:50	<texasmynsted>	Super easy
17:28:56	<texasmynsted>	There are like 5 fields
17:29:25	<texasmynsted>	They are just found in different places in the pdfs.
17:29:53	<sm>	so you'd read the pdfs and manually transcribe these values
17:30:31	<texasmynsted>	I could convert the pdfs to text. Tried this. It works fairly well, and I could then create parsers for each vendor based on the pdf/text
17:30:49	<texasmynsted>	I would still need a simple way to enter the data when the pdf import fails.
17:30:56	<sm>	$ invoicerec val1 val2 val3 val4 val5. # seems the simplest ui then
17:31:02	×	DNH quits (~DNH@2a02:8108:1100:16d8:5900:7509:5d83:fce2) (Quit: My MacBook has gone to sleep. ZZZzzz…)
17:31:22	<texasmynsted>	I would be fine (actually really happy) with a haskell TUI
17:31:49	<sm>	hledger add is a data entry TUI, you could explore that too
17:33:26	<texasmynsted>	yes. I will keep exploring hledger. What would you use for a haskell TUI form? (Looking at brick)
17:34:29	<sm>	brick if you need a full screen app (overkill unless you plan to grow it)
17:34:55	<texasmynsted>	I would rather something simpler.
17:35:16	<sm>	wizards is what hledger add uses for composable interactive console prompts
17:35:42	<sm>	simple getLine (?) is enough for reading input
17:36:20	<sm>	but for the case you described it doesn't need to be interactive at all, so a command with args could work ?
17:37:30	<texasmynsted>	I suppose so.
17:37:33	<sm>	(and I'm not saying haskell is the quickest way to build this, it probably isn't)
17:37:34	→	eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:ddb1:758a:abd2:2050)
17:38:05	<texasmynsted>	wizards is a better fit than brick. Maybe I really should just parse args. Hmm.
17:38:32	<sm>	I usually prototype with a bash script these days
17:38:39	<texasmynsted>	haskell is likely not the quickest way but it is what I _want_ to do.
17:38:57	<sm>	👍🏻✅
17:39:41	→	akurilin_ joins (uid322841@id-322841.ilkley.irccloud.com)
17:39:59	→	Null_A joins (~null_a@c-98-210-133-39.hsd1.ca.comcast.net)
17:41:11	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
17:42:09	×	eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:ddb1:758a:abd2:2050) (Ping timeout: 256 seconds)
17:43:45	×	ardell quits (~ardell@user/ardell) (Quit: Konversation terminated!)
17:44:46	<texasmynsted>	I wish more projects would do an example. Like using this you can do this, see?
17:45:04	→	Sgeo joins (~Sgeo@user/sgeo)
17:45:16	→	DNH joins (~DNH@2a02:8108:1100:16d8:5900:7509:5d83:fce2)
17:45:34	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 260 seconds)
17:47:37	×	merijn quits (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
17:48:19	→	hololeap joins (~hololeap@user/hololeap)
17:50:15	<sm>	texasmynsted: are you looking at hledger home page ? if so please tell me more
17:50:19	×	Null_A quits (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 272 seconds)
17:51:50	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
17:51:53	<texasmynsted>	I was.
17:52:35	<sm>	I appreciate feedback like this. Doesn't https://hledger.org/#how-to-get-started qualify ?
17:52:51	<texasmynsted>	Now I am looking at ncurses
17:53:10	<texasmynsted>	(I am guessing you wrote it?)
17:53:22	<texasmynsted>	My real goal is just to move data into sqlite
17:54:34	→	zincy_ joins (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c)
17:55:34	→	lagash joins (lagash@lagash.shelltalk.net)
17:56:33	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
17:57:18	→	econo joins (uid147250@user/econo)
17:58:00	<texasmynsted>	hledger does look really interesting though
18:01:37	×	coot quits (~coot@213.134.190.95) (Quit: coot)
18:01:56	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
18:02:59	<sm>	for the larger topic (invoicing workflows) #hledger:libera.chat or #plaintextaccounting:libera.chat are a good place to find folks doing similar things
18:03:28	<sm>	the saving stuff in sqlite part is a shell one liner I bet
18:04:12	<sm>	s/shell//
18:05:57	<maralorn>	what’s the fastest string to compose Text? It the moment I just use the Monoid instance of Text a lot. I wonder there is is another way.
18:06:08	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds)
18:07:00	<sm>	there's a Builder somewhere
18:08:45	×	elkcl quits (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Remote host closed the connection)
18:09:10	<sm>	Data.Text.Lazy.Builder eg
18:09:46	→	pie_ joins (~pie_bnc@user/pie/x-2818909)
18:10:43	→	Topsi joins (~Tobias@dyndsl-095-033-089-062.ewe-ip-backbone.de)
18:12:12	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
18:15:31	<Cheery>	If I end up with bunch of constraints, eg. (MonadError String m, MonadState Foo m) =>
18:15:41	<Cheery>	can I abstract these somehow into one thing?
18:16:48	×	pie_ quits (~pie_bnc@user/pie/x-2818909) (Quit: pie_)
18:17:24	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
18:17:44	×	yauhsien quits (~Yau-Hsien@61-231-30-36.dynamic-ip.hinet.net) (Quit: Leaving)
18:17:53	→	pie_ joins (~pie_bnc@user/pie/x-2818909)
18:18:56	<dsal>	Yeah, you can use ConstraintKinds
18:19:37	×	burnsidesLlama quits (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 240 seconds)
18:22:28	<Cheery>	if I hook a record to my state monad, is there an easy way to mutate individual fields instead of the whole record?
18:24:45	<Cheery>	there is gets, but I'm looking for same for modification.
18:25:46	×	wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds)
18:25:48	→	yauhsien joins (~yauhsien@61-231-30-36.dynamic-ip.hinet.net)
18:25:49	<geekosaur>	sadly haskell doesn't make updates very easy.it's the same problem as record updates not being first class
18:26:08	<geekosaur>	so you're looking at something like lens, which has abunch of state modifiers iirc
18:26:19	→	alp joins (~alp@user/alp)
18:28:38	×	zincy_ quits (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) (Remote host closed the connection)
18:31:16	→	Null_A joins (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a)
18:31:22	×	yauhsien quits (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Remote host closed the connection)
18:31:43	<geekosaur>	or writing a bunch of \f v -> f {myfield = v} functions
18:31:45	→	eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:ddb1:758a:abd2:2050)
18:31:58	<o1lo0lol1o[m]>	<Cheery> "if I hook a record to my state..." <- You'll want to look at lens : `foo & fieldLensFoo %~ \x -> x <> "x updated"`
18:32:35	→	yauhsien joins (~yauhsien@61-231-30-36.dynamic-ip.hinet.net)
18:33:05	<o1lo0lol1o[m]>	Though, if you don't have many fields and don't anticipate refactoring, it's probably simple enough write your own helpers in the module.
18:33:08	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
18:34:09	→	zincy_ joins (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c)
18:34:36	<o1lo0lol1o[m]>	s/`/`. There are StateT specific combinators as well./
18:36:40	→	jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
18:37:26	×	yauhsien quits (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Ping timeout: 245 seconds)
18:37:49	×	zincy_ quits (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) (Remote host closed the connection)
18:38:01	→	zincy_ joins (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c)
18:40:44	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 268 seconds)
18:46:03	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
18:53:16	×	zincy_ quits (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) (Remote host closed the connection)
18:53:17	×	euandreh quits (~euandreh@2804:14c:33:9fe5:c19d:39a5:11c7:fcb0) (Ping timeout: 240 seconds)
18:55:32	→	euandreh joins (~euandreh@2804:14c:33:9fe5:8e3b:ccf1:d93a:5b17)
18:57:04	→	simendsjo joins (~user@84.211.91.241)
18:58:46	→	zincy_ joins (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c)
19:00:14	→	o-90 joins (~o-90@gateway/tor-sasl/o-90)
19:00:17	×	o-90 quits (~o-90@gateway/tor-sasl/o-90) (Client Quit)
19:00:35	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
19:03:06	×	zincy_ quits (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) (Remote host closed the connection)
19:03:18	→	zincy_ joins (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c)
19:04:38	<dsal>	With lens in state, that'd be `myStateField <>= "something"`
19:05:02	×	ishutin quits (~ishutin@178-164-208-247.pool.digikabel.hu) (Ping timeout: 272 seconds)
19:06:14	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
19:06:19	→	ishutin joins (~ishutin@92-249-141-137.pool.digikabel.hu)
19:06:22	<dsal>	> flip execState (2,4) $ do { _1 += 11; _2 *= 6 }
19:06:24	<lambdabot>	(13,24)
19:06:36	×	geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
19:06:39	→	tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
19:06:47	<dsal>	lens always makes problems more exciting.
19:06:56	→	geekosaur joins (~geekosaur@xmonad/geekosaur)
19:07:30	→	Jeanne-Kamikaze joins (~Jeanne-Ka@static-198-54-134-90.cust.tzulo.com)
19:07:45	×	euandreh quits (~euandreh@2804:14c:33:9fe5:8e3b:ccf1:d93a:5b17) (Ping timeout: 252 seconds)
19:08:09	<polyphem>	hi, if i would write an application using libraries, how are dependencies and transitive dependencies handled , licensewise ? could cabal for example gather all involved licences ?
19:08:56	<polyphem>	is that^ even a thing ?
19:09:51	→	euandreh joins (~euandreh@2804:14c:33:9fe5:18d4:9beb:f7a2:366e)
19:10:07	<geekosaur>	I don't think cabal does butthere are tools on hackage to do so
19:10:32	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
19:12:57	<geekosaur>	https://hackage.haskell.org/package/cabal-dependency-licenses may be out of date
19:13:12	<geekosaur>	https://hackage.haskell.org/package/licensor looks interesting
19:13:48	×	euandreh quits (~euandreh@2804:14c:33:9fe5:18d4:9beb:f7a2:366e) (Ping timeout: 240 seconds)
19:14:35	×	zincy_ quits (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) (Remote host closed the connection)
19:16:51	<polyphem>	geekosaur: ok , cool , but doesnt belong such a functionality in the package manager , i.e cabal ?
19:17:14	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
19:17:56	<geekosaur>	cabal has them gatheredin its own way via SPDX
19:18:14	<geekosaur>	but an SPDX key isn't a license file
19:18:37	<polyphem>	geekosaur: would be nice , to have a .cabal field , for pre-selecting "usable" packages under some "licensing" constraints
19:20:05	<geekosaur>	that I couldn't speak to. you might bring it up in #hackage
19:20:05	→	zincy_ joins (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b)
19:20:56	<geekosaur>	I think sdist (via check?) might try to validate compatible licenses via SPDX, but I can't swear to it
19:21:25	<polyphem>	geekosaur: dont know what SPDX is , but what i understand from that is that there is already some support in cabal for library tracking
19:22:34	→	burnsidesLlama joins (~burnsides@rrcs-76-81-82-250.west.biz.rr.com)
19:23:00	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
19:23:03	<geekosaur>	SPDX is a standard for describing license information,intended in part to allow validating compatible licenses
19:23:21	<geekosaur>	an SPDX license field can be (and for sdist should be)included in every cabal file
19:24:07	×	zincy_ quits (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) (Remote host closed the connection)
19:24:19	→	zincy_ joins (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c)
19:24:22	<polyphem>	does SPDX has an Ord instance :p
19:26:23	<geekosaur>	https://hackage.haskell.org/package/Cabal-2.4.0.1/docs/Distribution-SPDX-License.html
19:26:27	<geekosaur>	lookslike it
19:28:08	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
19:29:04	×	burnsidesLlama quits (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection)
19:29:23	<geekosaur>	I doubt it does what you'd like though; license relationships are not flat
19:32:53	<polyphem>	i guess so, but wouldn't it be nice to have an ordering defined for known licences, and some "meta" constraints .cabal field on them, that would narrow the visible dependencies you could pull in to your cabal project
19:32:54	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
19:33:49	<polyphem>	like , usage: open source , or usage: comercial ...
19:34:12	→	elkcl joins (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru)
19:34:34	<geekosaur>	I will again suggest you bring this up in #hackage. I have nothing to do with cabal except as a user
19:35:19	<geekosaur>	but I would hope such field is optional except possibly for cabal check, since personal/non-distributed projects don't generally care
19:35:22	<polyphem>	all right, will do , thank you however
19:35:53	<polyphem>	yes, sure
19:36:01	<polyphem>	optional
19:37:21	×	deadmarshal_ quits (~deadmarsh@95.38.112.179) (Ping timeout: 272 seconds)
19:38:13	<Unicorn_Princess>	is there like a user-friendly cabal tutorial? https://cabal.readthedocs.io/en/latest/getting-started.html is telling me how to configure root keys for "TUF secure" repositories (whatever that means) before it tells me how to split my code into modules
19:38:42	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
19:38:54	×	elkcl quits (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Remote host closed the connection)
19:39:33	×	zincy_ quits (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) (Remote host closed the connection)
19:42:23	<WhateverRabbit>	Unicorn_Princess: dev.stephendiehl.com/hask/
19:42:40	<geekosaur>	I don't see anything about TUF secure repositories on that page
19:43:10	<Unicorn_Princess>	geekosaur, it's on the 2nd or 3rd page. immediately after the basics of how to install cabal and building a package
19:43:32	<Unicorn_Princess>	WhateverRabbit, ah, i didn't look closely enough at that. thanks
19:43:40	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
19:43:57	→	elkcl joins (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru)
19:43:58	×	soxen_ quits (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 256 seconds)
19:44:22	→	merijn joins (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl)
19:45:03	→	zincy_ joins (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c)
19:46:04	<worldhelloworld>	is haskell good at exploring data for datascience? Something like python jupyter notebooks which make life easier with graphs ..... easily shareable
19:46:53	<geekosaur>	there is IHaskell which is a Haskell plugin for Jupyter
19:46:54	<WhateverRabbit>	you can use jupyter with haskell
19:47:57	<geekosaur>	there are also libraries for working with R datasets and the like
19:48:23	<geekosaur>	there are I think relatively few interactive tools for it though; the haskell YUI story is still kinda … bare
19:48:28	<geekosaur>	*UI story
19:48:35	<worldhelloworld>	interesting - so I need to install IHaskell for it to work with jupyter notebooks?
19:48:50	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
19:49:33	×	zincy_ quits (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) (Ping timeout: 252 seconds)
19:49:41	→	ProfSimm joins (~ProfSimm@87.227.196.109)
19:49:44	<worldhelloworld>	And are there any libraries for working with python datasets? like you mentioned for R .... more familiar with python
19:50:43	finstern1s	is now known as finsternis
19:51:11	<geekosaur>	back in the day there was MissingPy which was a pretty full featured interface between haskell and python, but it's been unmaintained for a while
19:51:30	<geekosaur>	I don't know what there is currently
19:51:56	×	fef quits (~thedawn@user/thedawn) (Ping timeout: 240 seconds)
19:53:09	<worldhelloworld>	sounds pretty awesome MissingPy
19:53:23	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 252 seconds)
19:53:32	→	soxen_ joins (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net)
19:54:02	×	Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds)
19:54:11	→	coot joins (~coot@213.134.190.95)
19:54:24	→	Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
19:56:24	→	zincy_ joins (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c)
20:01:05	×	zincy_ quits (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) (Ping timeout: 252 seconds)
20:05:21	→	Pickchea joins (~private@user/pickchea)
20:06:30	→	euandreh joins (~euandreh@2804:14c:33:9fe5:cfdc:46b6:d3d6:d388)
20:07:25	<texasmynsted>	sm: okay I joined #plaintextaccounting and ##sqlite
20:08:38	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
20:10:43	<texasmynsted>	also found this which looks helpful. https://www.youtube.com/watch?v=qbDQdXfcaO8
20:13:26	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
20:14:00	×	pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 256 seconds)
20:16:50	×	Inst quits (~delicacie@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 256 seconds)
20:17:01	×	elkcl quits (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Remote host closed the connection)
20:17:24	→	elkcl joins (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru)
20:19:08	×	merijn quits (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds)
20:19:17	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
20:19:42	×	elkcl quits (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Remote host closed the connection)
20:21:29	→	elkcl joins (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru)
20:23:48	→	martin02 joins (~silas@141.84.69.76)
20:24:12	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
20:26:12	×	simendsjo quits (~user@84.211.91.241) (Ping timeout: 240 seconds)
20:29:06	→	wroathe joins (~wroathe@50-205-197-50-static.hfc.comcastbusiness.net)
20:29:06	×	wroathe quits (~wroathe@50-205-197-50-static.hfc.comcastbusiness.net) (Changing host)
20:29:06	→	wroathe joins (~wroathe@user/wroathe)
20:29:47	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
20:31:37	→	zincy_ joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com)
20:33:30	×	zincy_ quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection)
20:33:42	→	zincy_ joins (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c)
20:34:21	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
20:36:04	→	`2jt joins (~jtomas@210.red-88-24-179.staticip.rima-tde.net)
20:42:56	×	Axman6 quits (~Axman6@user/axman6) (Remote host closed the connection)
20:43:03	→	Axma41360 joins (~Axman6@user/axman6)
20:43:59	×	soxen_ quits (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 252 seconds)
20:45:10	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
20:46:10	→	neurocyte0917090 joins (~neurocyte@IP-094016064020.dynamic.medianet-world.de)
20:46:10	×	neurocyte0917090 quits (~neurocyte@IP-094016064020.dynamic.medianet-world.de) (Changing host)
20:46:10	→	neurocyte0917090 joins (~neurocyte@user/neurocyte)
20:53:15	→	yauhsien joins (~yauhsien@61-231-30-36.dynamic-ip.hinet.net)
20:57:44	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds)
21:01:02	×	yauhsien quits (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
21:02:41	×	gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving)
21:04:12	×	zincy_ quits (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) (Remote host closed the connection)
21:05:21	→	soxen_ joins (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net)
21:08:11	→	Erutuon joins (~Erutuon@user/erutuon)
21:09:36	→	pavonia joins (~user@user/siracusa)
21:09:44	→	zincy_ joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com)
21:10:21	×	zincy_ quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection)
21:10:32	→	zincy_ joins (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c)
21:13:55	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
21:15:31	×	`2jt quits (~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Ping timeout: 272 seconds)
21:16:58	×	Jeanne-Kamikaze quits (~Jeanne-Ka@static-198-54-134-90.cust.tzulo.com) (Quit: Leaving)
21:18:16	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 245 seconds)
21:21:27	×	zer0bitz quits (~zer0bitz@2001:2003:f74d:b800:c137:5b23:feaf:eefd) (Ping timeout: 256 seconds)
21:21:43	→	beka joins (~beka@104.193.170.240)
21:26:12	×	ishutin quits (~ishutin@92-249-141-137.pool.digikabel.hu) (Ping timeout: 240 seconds)
21:28:08	→	ishutin joins (~ishutin@92-249-150-158.static.digikabel.hu)
21:30:41	×	cosimone quits (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Quit: ERC (IRC client for Emacs 27.1))
21:31:24	×	AkechiShiro quits (~licht@user/akechishiro) (Ping timeout: 240 seconds)
21:32:29	→	AkechiShiro joins (~licht@user/akechishiro)
21:34:11	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
21:38:58	→	burnsidesLlama joins (~burnsides@rrcs-76-81-82-250.west.biz.rr.com)
21:39:35	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
21:40:53	→	Jeanne-Kamikaze joins (~Jeanne-Ka@static-198-54-134-90.cust.tzulo.com)
21:40:55	×	tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
21:41:56	×	wyrd quits (~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds)
21:44:48	→	zebrag joins (~chris@user/zebrag)
21:48:42	×	burnsidesLlama quits (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection)
21:48:50	→	wyrd joins (~wyrd@gateway/tor-sasl/wyrd)
21:50:59	×	coot quits (~coot@213.134.190.95) (Ping timeout: 272 seconds)
21:58:37	×	wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds)
21:59:09	<worldhelloworld>	https://www.irccloud.com/pastebin/BDYGOBhK/function%20definition%20to%20Decide%20if%20all%20elements%20of%20a%20list%20satisfy%20a%20predicate
21:59:14	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
22:00:08	<geekosaur>	first off, I think you intended all''' instead of all''
22:00:26	<geekosaur>	second off, if you;'re recursing, don;t you have to pass f on too?
22:00:54	<worldhelloworld>	first objection - yes, let me try that
22:01:28	<geekosaur>	it won't change the errors probably, I presume you're just accidentally recursing into an earlier version
22:01:29	<worldhelloworld>	second objection - no, it should work fine like it is for recursion
22:02:32	<geekosaur>	(note that the first error message tells you that you have forgotten a parameter)
22:02:36	<worldhelloworld>	ok - tried the all''' didn't work
22:02:51	<geekosaur>	"• Probable cause: ‘all''’ is applied to too few arguments"
22:02:57	×	Maxdamantus quits (~Maxdamant@user/maxdamantus) (Ping timeout: 240 seconds)
22:03:39	×	Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 272 seconds)
22:05:11	→	Maxdamantus joins (~Maxdamant@user/maxdamantus)
22:05:16	<worldhelloworld>	what does it actually mean by "Couldn't match expected type ‘Bool’
22:05:16	<worldhelloworld>	with actual type ‘[a0] -> Bool’" - where does the "a0" come from?
22:05:41	→	burnsidesLlama joins (~burnsides@rrcs-76-81-82-250.west.biz.rr.com)
22:05:50	→	Erutuon joins (~Erutuon@user/erutuon)
22:06:34	<worldhelloworld>	regarding recursion case - its popping off one element at a time, so don't need to pass f, since f works on the head and then same process recursively
22:07:35	<monochrom>	Huh how does the recursive call know that you don't want a different f.
22:07:54	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
22:09:17	<geekosaur>	third off, you have forgotten to say what to do at the end of the list
22:09:52	<geekosaur>	as to what monochrom said, consider: frob f g (x:xs) = f x : frob g f xs
22:09:56	<monochrom>	I think line 3 covers that.
22:10:08	<worldhelloworld>	imagine : all even [2,4,6] .... would boil down to : even 2 && even 4 && even 6
22:10:16	<worldhelloworld>	@monochrom
22:10:17	<lambdabot>	Unknown command, try @list
22:10:24	<geekosaur>	but how does it know?
22:10:55	<geekosaur>	you have told it to do: even 2 && all [4,6]
22:10:59	<geekosaur>	all what?
22:11:26	<worldhelloworld>	ah
22:11:26	<monochrom>	In addition to how "all''' xs" is objectively obviously a case of wrong number of parameters.
22:12:31	<worldhelloworld>	thanks - i understood, it has to know what f with recursive case
22:12:41	<worldhelloworld>	let me re-read your suggestions
22:14:18	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
22:14:41	→	Inst joins (~delicacie@c-98-208-218-119.hsd1.fl.comcast.net)
22:15:17	×	mikoto-chan quits (~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds)
22:17:10	<geekosaur>	the compiler can't guess that you want f passed on again; see my frob example
22:17:32	<geekosaur>	if the compiler were to guess it'd do from f g xs instead of frob g f xs
22:17:46	<geekosaur>	(if you're wondering, that applies two functions to alternating list entries)
22:18:35	<geekosaur>	> let frob _ _ [] = []; frob f g (x:xs) = f x : frob g f xs in frob (+2) (-3) [1..10]
22:18:37	<lambdabot>	error:
22:18:37	<lambdabot>	• No instance for (Num (Integer -> Integer))
22:18:37	<lambdabot>	arising from a use of ‘e_123110’
22:18:51	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds)
22:18:57	<geekosaur>	> let frob _ _ [] = []; frob f g (x:xs) = f x : frob g f xs in frob (+2) (subtract 3) [1..10]
22:18:59	<lambdabot>	[3,-1,5,1,7,3,9,5,11,7]
22:19:01	<geekosaur>	dammit
22:19:37	<worldhelloworld>	ok - so 1st, 2nd suggestion of @geekosaur was right, I believe 3rd is taken care of with line 3 as @monochrom pointed out ............ now I can compile it but when I try to run an error when I try to run `all even [2,4,6]
22:19:51	→	merijn joins (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl)
22:20:52	→	tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net)
22:20:55	×	Topsi quits (~Tobias@dyndsl-095-033-089-062.ewe-ip-backbone.de) (Read error: Connection reset by peer)
22:20:59	<worldhelloworld>	same error type like I was asking above `Couldn't match expected type ‘a -> Bool’ with actual type ‘[a0]’
22:20:59	<worldhelloworld>	......`
22:21:36	<geekosaur>	that shouldn't happen at runtime?
22:22:36	<geekosaur>	> let all' _ [] = True; all' p (x:xs) = p x && all' p xs in all' even [2,4,6]
22:22:38	<lambdabot>	True
22:23:11	<geekosaur>	update your paste perhaps, including the new error?
22:23:23	<worldhelloworld>	let me make another paste
22:24:35	<worldhelloworld>	https://www.irccloud.com/pastebin/QVu0YNWM/
22:24:57	×	Vajb quits (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) (Read error: Connection reset by peer)
22:25:28	×	Pickchea quits (~private@user/pickchea) (Ping timeout: 256 seconds)
22:25:43	<worldhelloworld>	ok sorry
22:25:54	<worldhelloworld>	I missed the 'even' argument above
22:26:03	<worldhelloworld>	my bad - apologies
22:26:05	→	Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
22:26:51	<worldhelloworld>	phew, so sorry, I keep making silly mistakes and bothering you guys, and you'll are incredibly helpful to put up with this
22:27:02	<geekosaur>	we do that :)
22:27:24	<worldhelloworld>	thanks - gotto feel grateful for such a community :)
22:28:36	<geekosaur>	I've seen too many communities where the experts have little patience or tolerance for newcomers. I don't have much respect for them
22:28:51	×	Null_A quits (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Read error: Connection reset by peer)
22:29:31	→	Null_A joins (~null_a@c-98-210-133-39.hsd1.ca.comcast.net)
22:30:07	<worldhelloworld>	appreciate it very much! Otherwise it's easy to feel lost
22:32:05	→	michalz joins (~michalz@185.246.204.73)
22:33:54	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
22:34:22	×	Null_A quits (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 250 seconds)
22:35:10	←	milesrout parts (ce261f06ff@2604:bf00:561:2000::257) ()
22:35:25	→	Null_A joins (~null_a@2601:645:8700:2290:edbd:15d:262b:d392)
22:35:35	×	kaph quits (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer)
22:36:50	×	takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
22:38:16	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 245 seconds)
22:41:42	→	tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
22:43:00	×	michalz quits (~michalz@185.246.204.73) (Remote host closed the connection)
22:44:19	×	alp quits (~alp@user/alp) (Ping timeout: 268 seconds)
22:47:04	→	kaph joins (~kaph@net-109-116-124-149.cust.vodafonedsl.it)
22:49:16	×	Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 256 seconds)
22:49:24	×	merijn quits (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds)
22:50:20	×	_ht quits (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection)
22:51:56	→	mcgroin joins (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
22:54:11	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
22:56:44	×	zincy_ quits (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) (Remote host closed the connection)
22:58:54	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds)
22:59:29	×	burnsidesLlama quits (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection)
23:00:15	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
23:02:15	→	zincy_ joins (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c)
23:05:07	→	gdown joins (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net)
23:05:17	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 268 seconds)
23:07:08	×	zincy_ quits (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) (Ping timeout: 268 seconds)
23:08:38	→	zincy_ joins (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c)
23:09:21	×	alphabeta quits (~kilolympu@31.205.200.235) (Ping timeout: 256 seconds)
23:09:29	×	Null_A quits (~null_a@2601:645:8700:2290:edbd:15d:262b:d392) (Remote host closed the connection)
23:09:45	→	kilolympus joins (~kilolympu@31.205.200.235)
23:10:12	→	Null_A joins (~null_a@2601:645:8700:2290:edbd:15d:262b:d392)
23:11:12	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
23:11:45	×	tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
23:13:02	×	zincy_ quits (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) (Ping timeout: 240 seconds)
23:14:32	×	Null_A quits (~null_a@2601:645:8700:2290:edbd:15d:262b:d392) (Ping timeout: 240 seconds)
23:15:02	→	zincy_ joins (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c)
23:15:24	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
23:17:53	×	Jeanne-Kamikaze quits (~Jeanne-Ka@static-198-54-134-90.cust.tzulo.com) (Remote host closed the connection)
23:20:49	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
23:22:56	×	__monty__ quits (~toonn@user/toonn) (Quit: leaving)
23:24:56	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 245 seconds)
23:28:08	×	lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
23:28:20	→	lavaman joins (~lavaman@98.38.249.169)
23:29:24	×	machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 240 seconds)
23:32:15	<polyphem>	geekosaur: look what i found out on #hackage , https://summer.haskell.org/ideas.html#cabal-filter
23:34:38	→	deadmarshal_ joins (~deadmarsh@95.38.115.28)
23:35:54	<geekosaur>	I saw
23:36:23	→	chenqisu1 joins (~chenqisu1@183.217.201.47)
23:36:47	<polyphem>	geekosaur: its like everyone inventing the telephone at the same time ... hahaha
23:38:17	×	polezaivsani quits (~polezaivs@orangeshoelaces.net) (Ping timeout: 240 seconds)
23:38:35	×	zincy_ quits (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) (Ping timeout: 256 seconds)
23:39:17	×	deadmarshal_ quits (~deadmarsh@95.38.115.28) (Ping timeout: 272 seconds)
23:39:57	×	ishutin quits (~ishutin@92-249-150-158.static.digikabel.hu) (Ping timeout: 240 seconds)
23:41:00	→	niekvandepas joins (~niekvande@77-161-122-185.fixed.kpn.net)
23:41:18	→	Null_A joins (~null_a@2601:645:8700:2290:edbd:15d:262b:d392)
23:41:49	→	ishutin joins (~ishutin@92-249-193-47.pool.digikabel.hu)
23:42:54	×	ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection)
23:45:00	×	Midjak quits (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
23:45:17	×	niekvandepas quits (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds)
23:50:46	×	waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 245 seconds)
23:52:54	→	waleee joins (~waleee@h-98-128-228-119.NA.cust.bahnhof.se)
23:53:28	→	wroathe joins (~wroathe@user/wroathe)
23:56:28	×	wolfshappen quits (~waff@irc.furworks.de) (Ping timeout: 268 seconds)

All times are in UTC on 2022-03-05.