Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4638 4639 4640 4641 4642 4643 4644 4645 4646 4647 4648 .. 5022
— 502,152 events total
2021-04-28 13:36:07 <haasn> Hmm maybe I'm wrong and there isn't a term. I just have this weird "at the tip of my tongue" feeling regarding to it being a thing with a name
2021-04-28 13:36:35 × dmytrish quits (~mitra@2a02:8084:a82:d900:6df4:a206:6bd4:dc59) (Ping timeout: 260 seconds)
2021-04-28 13:36:47 × malumore quits (~malumore@151.62.119.140) (Ping timeout: 268 seconds)
2021-04-28 13:38:02 × bor0 quits (~boro@unaffiliated/boro/x-000000001) (Quit: Leaving)
2021-04-28 13:40:45 × ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-04-28 13:41:11 × TheScoop quits (~TheScoop@unaffiliated/tryte) (Quit: _)
2021-04-28 13:41:28 → ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-28 13:42:59 → acidjnk_new2 joins (~acidjnk@p200300d0c72b9548f8b57ec67aac6385.dip0.t-ipconnect.de)
2021-04-28 13:43:07 × twk- quits (~thewormki@2001:19f0:5001:3191:5400:2ff:fe0c:6be1) (Ping timeout: 260 seconds)
2021-04-28 13:43:16 × marek quits (~mmahut@fedora/pyxel) (Ping timeout: 245 seconds)
2021-04-28 13:43:40 × Uma_ quits (~uma@umazalakain.info) (Remote host closed the connection)
2021-04-28 13:43:56 → Uma joins (~uma@umazalakain.info)
2021-04-28 13:44:50 → twk- joins (~thewormki@unaffiliated/twk-)
2021-04-28 13:44:55 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-04-28 13:45:04 × tomboy64 quits (~tomboy64@unaffiliated/tomboy64) (Quit: Off to see the wizard.)
2021-04-28 13:45:25 × caubert quits (~caubert@136.244.111.235) (Ping timeout: 268 seconds)
2021-04-28 13:46:13 → ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-28 13:46:16 → Sheilong joins (uid293653@gateway/web/irccloud.com/x-uyliiafcmtwzffhn)
2021-04-28 13:46:19 → caubert joins (~caubert@136.244.111.235)
2021-04-28 13:46:21 → tomboy64 joins (~tomboy64@unaffiliated/tomboy64)
2021-04-28 13:46:50 → frozenErebus joins (~frozenEre@37.231.244.249)
2021-04-28 13:47:11 <sshine> haasn, there's quite a lot of concepts that are born from having an ADT or a GADT take a type parameter in some specific way.
2021-04-28 13:48:04 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection)
2021-04-28 13:49:05 × tomboy64 quits (~tomboy64@unaffiliated/tomboy64) (Read error: Connection reset by peer)
2021-04-28 13:49:14 → ph88 joins (~ph88@2a02:8109:9e00:7e5c:d5ef:86b3:afc4:9258)
2021-04-28 13:49:33 → marek joins (~mmahut@209.250.249.245)
2021-04-28 13:49:58 → ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-28 13:50:09 <sshine> haasn, e.g. fixpoint types: http://hackage.haskell.org/package/recursion-schemes -- and monadic effect systems: https://github.com/graninas/hierarchical-free-monads-the-most-developed-approach-in-haskell#dive-in-hierarchical-free-monads
2021-04-28 13:53:52 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
2021-04-28 13:54:16 → tomboy64 joins (~tomboy64@unaffiliated/tomboy64)
2021-04-28 13:54:19 × aVikingTrex quits (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 260 seconds)
2021-04-28 13:54:26 × ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-04-28 13:55:48 × nicholasbulka quits (~nicholasb@2601:900:4301:da0:b0db:882b:fd7b:c02e) (Remote host closed the connection)
2021-04-28 13:56:04 → nicholasbulka joins (~nicholasb@2601:900:4301:da0:b0db:882b:fd7b:c02e)
2021-04-28 13:59:42 × aveltras quits (uid364989@gateway/web/irccloud.com/x-yfblqpcgihobrdbr) (Quit: Connection closed for inactivity)
2021-04-28 14:01:09 × ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-04-28 14:01:10 ski . o O ( presque vu )
2021-04-28 14:01:22 <ski> haasn : i guess i'd call it "(recursive) OO" (to be constrasted with "existential OO")
2021-04-28 14:04:22 → ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-28 14:06:39 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-28 14:07:34 → vicfred joins (~vicfred@unaffiliated/vicfred)
2021-04-28 14:08:19 × sayola1 quits (~vekto@dslb-002-201-085-157.002.201.pools.vodafone-ip.de) (Ping timeout: 245 seconds)
2021-04-28 14:08:58 → frozenErebus joins (~frozenEre@37.231.244.249)
2021-04-28 14:11:12 → notzmv joins (~zmv@unaffiliated/zmv)
2021-04-28 14:11:20 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds)
2021-04-28 14:14:10 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds)
2021-04-28 14:14:25 → waleee-cl joins (uid373333@gateway/web/irccloud.com/x-godfdjwdzqpwbqck)
2021-04-28 14:15:19 × ph88 quits (~ph88@2a02:8109:9e00:7e5c:d5ef:86b3:afc4:9258) (Ping timeout: 260 seconds)
2021-04-28 14:17:19 → anandprabhu joins (~anandprab@43.241.70.137)
2021-04-28 14:18:00 → kiweun joins (~kiweun@2607:fea8:2a62:9600:6d35:ae63:dd:a765)
2021-04-28 14:18:02 × kritzefitz quits (~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection)
2021-04-28 14:18:27 × jonathanx quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Quit: Leaving)
2021-04-28 14:21:19 → ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-28 14:21:54 → enoq joins (~textual@194-208-146-143.lampert.tv)
2021-04-28 14:22:39 × kiweun quits (~kiweun@2607:fea8:2a62:9600:6d35:ae63:dd:a765) (Ping timeout: 250 seconds)
2021-04-28 14:22:41 × minoru_shiraeesh quits (~shiraeesh@109.166.56.250) (Ping timeout: 240 seconds)
2021-04-28 14:25:11 → ph88 joins (~ph88@2a02:8109:9e00:7e5c:d5ef:86b3:afc4:9258)
2021-04-28 14:25:41 × ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-04-28 14:26:35 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-28 14:30:54 × acidjnk_new2 quits (~acidjnk@p200300d0c72b9548f8b57ec67aac6385.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-04-28 14:31:33 → ep1ctetus joins (~epictetus@ip72-194-54-201.sb.sd.cox.net)
2021-04-28 14:33:21 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2021-04-28 14:36:12 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-28 14:36:50 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2021-04-28 14:37:39 → anandprabhu_ joins (~anandprab@94.203.71.143)
2021-04-28 14:37:53 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-28 14:39:13 → Sgeo joins (~Sgeo@ool-18b9875e.dyn.optonline.net)
2021-04-28 14:39:23 ← russruss40 parts (~russruss@my.russellmcc.com) ("The Lounge - https://thelounge.chat")
2021-04-28 14:39:35 → idhugo__ joins (~idhugo@87-49-45-4-mobile.dk.customer.tdc.net)
2021-04-28 14:39:37 → sayola joins (~vekto@dslb-002-201-085-157.002.201.pools.vodafone-ip.de)
2021-04-28 14:41:40 × anandprabhu quits (~anandprab@43.241.70.137) (Ping timeout: 252 seconds)
2021-04-28 14:42:48 × idhugo_ quits (~idhugo@87-49-45-4-mobile.dk.customer.tdc.net) (Ping timeout: 265 seconds)
2021-04-28 14:43:07 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-04-28 14:43:45 → LKoen_ joins (~LKoen@22.249.88.92.rev.sfr.net)
2021-04-28 14:43:58 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-28 14:44:42 → russruss joins (~russruss@my.russellmcc.com)
2021-04-28 14:46:04 × LKoen quits (~LKoen@22.249.88.92.rev.sfr.net) (Ping timeout: 252 seconds)
2021-04-28 14:46:42 × anandprabhu_ quits (~anandprab@94.203.71.143) (Quit: Konversation terminated!)
2021-04-28 14:47:38 → frozenErebus joins (~frozenEre@37.231.244.249)
2021-04-28 14:49:08 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-04-28 14:49:46 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-28 14:54:52 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-04-28 14:55:34 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-28 14:56:44 → ddellac__ joins (~ddellacos@86.106.143.151)
2021-04-28 14:59:07 × ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-04-28 15:00:02 → ukari joins (~ukari@unaffiliated/ukari)
2021-04-28 15:00:34 → nineonine joins (~nineonine@2604:3d08:7785:9600:18c3:826f:bcf6:7789)
2021-04-28 15:00:55 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-04-28 15:01:04 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-28 15:01:06 <jumper149> How can I find the documentation on makeWrapper
2021-04-28 15:01:15 <jumper149> oups wrong channel srz
2021-04-28 15:01:22 × nineonine quits (~nineonine@2604:3d08:7785:9600:18c3:826f:bcf6:7789) (Remote host closed the connection)
2021-04-28 15:01:35 → nineonine joins (~nineonine@2604:3d08:7785:9600:18c3:826f:bcf6:7789)
2021-04-28 15:01:39 × ddellac__ quits (~ddellacos@86.106.143.151) (Ping timeout: 265 seconds)
2021-04-28 15:02:57 × nineonine quits (~nineonine@2604:3d08:7785:9600:18c3:826f:bcf6:7789) (Remote host closed the connection)
2021-04-28 15:03:47 → nineonine joins (~nineonine@2604:3d08:7785:9600:18c3:826f:bcf6:7789)
2021-04-28 15:05:57 × tlaxkit quits (~konversat@185.228.153.18) (Quit: Konversation terminated!)
2021-04-28 15:06:25 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-04-28 15:06:43 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-28 15:07:39 × nineonine quits (~nineonine@2604:3d08:7785:9600:18c3:826f:bcf6:7789) (Remote host closed the connection)
←Prev  Next→
Page 1 .. 4638 4639 4640 4641 4642 4643 4644 4645 4646 4647 4648 .. 5022

All times are in UTC.