Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 3981 3982 3983 3984 3985 3986 3987 3988 3989 3990 3991 .. 5022
— 502,152 events total
2021-03-23 14:10:13 × Major_Biscuit quits (~Major_Bis@wlan-145-94-219-47.wlan.tudelft.nl) (Ping timeout: 256 seconds)
2021-03-23 14:10:14 × knupfer quits (~Thunderbi@dynamic-046-114-144-212.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2021-03-23 14:10:35 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-23 14:10:58 → geowiesnot_bis joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-03-23 14:13:43 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-23 14:14:23 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-23 14:14:34 → minoru_shiraeesh joins (~shiraeesh@46.34.206.238)
2021-03-23 14:15:55 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Remote host closed the connection)
2021-03-23 14:16:51 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-23 14:17:33 → vicfred joins (~vicfred@unaffiliated/vicfred)
2021-03-23 14:21:20 × codygman` quits (~user@47.186.207.161) (Ping timeout: 265 seconds)
2021-03-23 14:21:53 → codygman` joins (~user@209.251.131.98)
2021-03-23 14:22:28 → raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-03-23 14:24:13 → forp joins (57e3c46d@87.227.196.109)
2021-03-23 14:24:26 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
2021-03-23 14:25:09 → ezrakilty joins (~ezrakilty@97-113-58-224.tukw.qwest.net)
2021-03-23 14:25:11 → hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2021-03-23 14:26:36 → aggin joins (~ecm@103.88.87.99)
2021-03-23 14:27:24 → Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-03-23 14:29:17 → johnnyv[m] joins (badwolf256@gateway/shell/matrix.org/x-rlvkemimyqmbtjvy)
2021-03-23 14:29:21 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2021-03-23 14:31:18 → jsomedon joins (~jsomedon@114.252.43.205)
2021-03-23 14:32:17 → Major_Biscuit joins (~Major_Bis@wlan-145-94-219-47.wlan.tudelft.nl)
2021-03-23 14:32:26 <jsomedon> hello folks, what does "sum" mean for term "sum type" and similarly what does "product" mean for "product type"
2021-03-23 14:32:26 × xff0x quits (~xff0x@2001:1a81:5390:3000:dc2a:4ff5:6535:8a68) (Ping timeout: 240 seconds)
2021-03-23 14:32:39 × MilkywayPirate quits (~user@178.157.255.8) (Remote host closed the connection)
2021-03-23 14:32:51 <merijn> jsomedon: It's a reference to the "algebra" part of "algebraic datatypes"
2021-03-23 14:32:56 → MilkywayPirate joins (~user@178.157.255.8)
2021-03-23 14:33:14 <merijn> See things like: https://codewords.recurse.com/issues/three/algebra-and-calculus-of-algebraic-data-types
2021-03-23 14:33:23 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 245 seconds)
2021-03-23 14:33:26 → xff0x joins (~xff0x@2001:1a81:5390:3000:bc77:584c:d8ed:27b0)
2021-03-23 14:33:46 × MilkywayPirate quits (~user@178.157.255.8) (Client Quit)
2021-03-23 14:34:10 <jsomedon> thank you let me read that and might come back with more questions
2021-03-23 14:34:41 <merijn> jsomedon: Also: https://www.youtube.com/watch?v=YScIPA8RbVE
2021-03-23 14:36:13 → MilkywayPirate joins (~user@178.157.255.8)
2021-03-23 14:39:14 × aggin quits (~ecm@103.88.87.99) (Quit: WeeChat 3.0.1)
2021-03-23 14:40:47 → bitmapper joins (uid464869@gateway/web/irccloud.com/x-sfwykfysiphrscur)
2021-03-23 14:41:36 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2021-03-23 14:41:39 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2021-03-23 14:42:50 → jamm_ joins (~jamm@unaffiliated/jamm)
2021-03-23 14:43:34 × fuzzy_id quits (~user@78.30.11.72) (Ping timeout: 265 seconds)
2021-03-23 14:45:56 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 240 seconds)
2021-03-23 14:47:36 → heatsink joins (~heatsink@2600:1700:bef1:5e10:b09b:3609:dd4b:42c9)
2021-03-23 14:49:11 × v01d4lph4 quits (~v01d4lph4@106.212.133.35) (Read error: Connection reset by peer)
2021-03-23 14:49:19 × minoru_shiraeesh quits (~shiraeesh@46.34.206.238) (Ping timeout: 256 seconds)
2021-03-23 14:49:22 × codygman` quits (~user@209.251.131.98) (Ping timeout: 265 seconds)
2021-03-23 14:49:56 → codygman` joins (~user@47.186.207.161)
2021-03-23 14:52:13 × heatsink quits (~heatsink@2600:1700:bef1:5e10:b09b:3609:dd4b:42c9) (Ping timeout: 244 seconds)
2021-03-23 14:54:00 → bitmagie joins (~Thunderbi@200116b806323f002d87bc9ab24a21a2.dip.versatel-1u1.de)
2021-03-23 14:54:54 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator")
2021-03-23 14:55:31 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-23 14:55:37 → ep1ctetus joins (~epictetus@ip72-194-215-136.sb.sd.cox.net)
2021-03-23 14:56:11 × epicte7us quits (~epictetus@66.151.209.212) (Ping timeout: 272 seconds)
2021-03-23 14:56:45 × forp quits (57e3c46d@87.227.196.109) (Quit: Connection closed)
2021-03-23 14:57:20 → minoru_shiraeesh joins (~shiraeesh@46.34.206.238)
2021-03-23 14:57:34 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Client Quit)
2021-03-23 14:58:05 × kuribas quits (~user@ptr-25vy0i8kwraq2x2hwlo.18120a2.ip6.access.telenet.be) (Ping timeout: 272 seconds)
2021-03-23 14:58:06 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-23 14:58:08 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-23 14:58:29 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-23 15:02:58 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Client Quit)
2021-03-23 15:03:32 → knupfer joins (~Thunderbi@200116b824b988005814f1fffee1fb4f.dip.versatel-1u1.de)
2021-03-23 15:03:33 × knupfer quits (~Thunderbi@200116b824b988005814f1fffee1fb4f.dip.versatel-1u1.de) (Client Quit)
2021-03-23 15:03:40 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-23 15:03:49 → knupfer joins (~Thunderbi@i59F7FF9C.versanet.de)
2021-03-23 15:06:55 × jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-03-23 15:09:22 → Tops2 joins (~Tobias@dyndsl-095-033-016-025.ewe-ip-backbone.de)
2021-03-23 15:12:40 → aggin joins (~ecm@103.88.87.99)
2021-03-23 15:16:09 → Amanda3 joins (~Amanda@139.28.218.148)
2021-03-23 15:16:20 × jsomedon quits (~jsomedon@114.252.43.205) (Quit: jsomedon)
2021-03-23 15:16:31 → kam1 joins (~kam1@37.129.53.162)
2021-03-23 15:16:32 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-23 15:16:49 × ntkr quits (uid491148@gateway/web/irccloud.com/x-onytzymuldscxwyh) (Quit: Connection closed for inactivity)
2021-03-23 15:16:53 × kam1 quits (~kam1@37.129.53.162) (Read error: Connection reset by peer)
2021-03-23 15:16:53 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-23 15:16:56 → CrazyPython joins (~crazypyth@98.122.164.118)
2021-03-23 15:17:08 × Tario quits (~Tario@201.192.165.173) (Ping timeout: 245 seconds)
2021-03-23 15:17:22 → Tario joins (~Tario@201.192.165.173)
2021-03-23 15:17:43 → jamm_ joins (~jamm@unaffiliated/jamm)
2021-03-23 15:18:22 × stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds)
2021-03-23 15:19:15 × gzj quits (~gzj@unaffiliated/gzj) (Read error: Connection reset by peer)
2021-03-23 15:19:36 → gzj joins (~gzj@unaffiliated/gzj)
2021-03-23 15:19:44 → v01d4lph4 joins (~v01d4lph4@106.212.133.35)
2021-03-23 15:21:55 × jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 240 seconds)
2021-03-23 15:22:04 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-23 15:22:12 × toorevitimirp quits (~tooreviti@117.182.183.55) (Remote host closed the connection)
2021-03-23 15:22:25 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-23 15:24:08 → jamm_ joins (~jamm@unaffiliated/jamm)
2021-03-23 15:24:27 × v01d4lph4 quits (~v01d4lph4@106.212.133.35) (Ping timeout: 256 seconds)
2021-03-23 15:24:58 × codygman` quits (~user@47.186.207.161) (Remote host closed the connection)
2021-03-23 15:25:17 × xff0x quits (~xff0x@2001:1a81:5390:3000:bc77:584c:d8ed:27b0) (Ping timeout: 244 seconds)
2021-03-23 15:26:25 → xff0x joins (~xff0x@2001:1a81:5390:3000:a106:5c1e:878c:2ba3)
2021-03-23 15:26:32 → codygman__ joins (~user@47.186.207.161)
2021-03-23 15:27:27 × aggin quits (~ecm@103.88.87.99) (Quit: WeeChat 3.0.1)
2021-03-23 15:27:33 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds)
2021-03-23 15:29:14 × bitmagie quits (~Thunderbi@200116b806323f002d87bc9ab24a21a2.dip.versatel-1u1.de) (Quit: bitmagie)
2021-03-23 15:29:50 → Sorny joins (~Sornaensi@79.142.232.102)
2021-03-23 15:31:01 → stree joins (~stree@68.36.8.116)
2021-03-23 15:31:03 → shad0w_47 joins (a0ca251f@160.202.37.31)
2021-03-23 15:31:31 × shad0w_47 quits (a0ca251f@160.202.37.31) (Client Quit)
←Prev  Next→
Page 1 .. 3981 3982 3983 3984 3985 3986 3987 3988 3989 3990 3991 .. 5022

All times are in UTC.