Logs: liberachat/#haskell
| 2021-07-07 17:18:26 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Quit: WeeChat 2.8) |
| 2021-07-07 17:19:36 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-07-07 17:21:01 | → | yauhsien joins (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) |
| 2021-07-07 17:21:11 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-07-07 17:22:28 | → | rostero joins (uid236576@id-236576.tooting.irccloud.com) |
| 2021-07-07 17:23:15 | × | chomwitt quits (~Pitsikoko@athedsl-16082.home.otenet.gr) (Ping timeout: 252 seconds) |
| 2021-07-07 17:24:15 | → | jneira[m] joins (~jneira@174.red-37-10-141.dynamicip.rima-tde.net) |
| 2021-07-07 17:25:21 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:cdb:cabc:a7c7:75c9) (Remote host closed the connection) |
| 2021-07-07 17:25:26 | → | adanwan_ joins (~adanwan@gateway/tor-sasl/adanwan) |
| 2021-07-07 17:25:50 | × | yauhsien quits (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) (Ping timeout: 258 seconds) |
| 2021-07-07 17:26:12 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 244 seconds) |
| 2021-07-07 17:27:45 | × | fef quits (~thedawn@user/thedawn) (Quit: Leaving) |
| 2021-07-07 17:27:55 | <maerwald> | yeah, 8.10.5 was a bit of a rush |
| 2021-07-07 17:28:58 | × | argento quits (~argent0@168-227-97-29.ptr.westnet.com.ar) (Ping timeout: 240 seconds) |
| 2021-07-07 17:29:46 | × | xff0x quits (~xff0x@2001:1a81:539d:3600:7f6d:8918:f53:97d7) (Ping timeout: 240 seconds) |
| 2021-07-07 17:30:44 | → | xff0x joins (~xff0x@2001:1a81:539d:3600:1c1d:c169:6e6:5e55) |
| 2021-07-07 17:31:07 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-07-07 17:31:46 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 240 seconds) |
| 2021-07-07 17:33:47 | → | nschoe joins (~quassel@2a01:e0a:8e:a190:180:9002:34a9:8370) |
| 2021-07-07 17:36:32 | → | econo joins (uid147250@user/econo) |
| 2021-07-07 17:37:04 | → | yauhsien joins (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) |
| 2021-07-07 17:37:06 | × | jneira[m] quits (~jneira@174.red-37-10-141.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-07-07 17:40:11 | <AWizzArd> | If you want to do Single Sign-On with Microsoft Azure and Auth0 – which Haskell lib would you use? Something with OAuth 2 perhaps? |
| 2021-07-07 17:41:27 | → | chris-the-slurpa joins (~chris@cpc68332-cdif16-2-0-cust330.5-1.cable.virginm.net) |
| 2021-07-07 17:41:57 | × | yauhsien quits (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2021-07-07 17:42:37 | → | dunkeln_ joins (~dunkeln@188.70.10.207) |
| 2021-07-07 17:42:37 | × | azeem quits (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 246 seconds) |
| 2021-07-07 17:44:40 | → | azeem joins (~azeem@176.201.13.131) |
| 2021-07-07 17:46:45 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 2021-07-07 17:46:54 | × | nschoe quits (~quassel@2a01:e0a:8e:a190:180:9002:34a9:8370) (Ping timeout: 252 seconds) |
| 2021-07-07 17:46:54 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-07-07 17:47:55 | → | ahdyt joins (~ahdyt@103.105.35.90) |
| 2021-07-07 17:48:26 | × | ahdyt quits (~ahdyt@103.105.35.90) (Client Quit) |
| 2021-07-07 17:48:40 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:cdb:cabc:a7c7:75c9) |
| 2021-07-07 17:51:10 | → | chomwitt joins (~Pitsikoko@athedsl-16082.home.otenet.gr) |
| 2021-07-07 17:52:04 | → | sheepduck joins (~sheepduck@user/sheepduck) |
| 2021-07-07 17:52:58 | × | epolanski quits (uid312403@id-312403.brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-07 17:53:16 | → | yauhsien joins (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) |
| 2021-07-07 17:53:58 | × | chris-the-slurpa quits (~chris@cpc68332-cdif16-2-0-cust330.5-1.cable.virginm.net) (Remote host closed the connection) |
| 2021-07-07 17:55:03 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer) |
| 2021-07-07 17:55:16 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-07-07 17:56:05 | × | hrnz quits (~ulli@irc.plumbing) (Quit: das ist mir zu bld hier; bb) |
| 2021-07-07 17:56:25 | → | hrnz joins (~ulli@irc.plumbing) |
| 2021-07-07 17:57:30 | × | jolly quits (~jolly@208.180.97.158) (Quit: Connection closed) |
| 2021-07-07 17:58:14 | × | yauhsien quits (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) (Ping timeout: 265 seconds) |
| 2021-07-07 17:59:26 | × | MiguelNegrao quits (~MiguelNeg@2001:818:dc71:d100:9e5a:44ff:fe17:1240) (Quit: Client closed) |
| 2021-07-07 18:00:08 | × | aman quits (~aman@user/aman) (Quit: aman) |
| 2021-07-07 18:00:53 | → | ptr_frac7al joins (~longlong@user/ptr-frac7al/x-0038398) |
| 2021-07-07 18:05:22 | × | ptr_frac7al quits (~longlong@user/ptr-frac7al/x-0038398) (Ping timeout: 240 seconds) |
| 2021-07-07 18:05:29 | → | shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-07-07 18:06:02 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-07 18:07:05 | → | pavonia joins (~user@user/siracusa) |
| 2021-07-07 18:09:15 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:cdb:cabc:a7c7:75c9) (Remote host closed the connection) |
| 2021-07-07 18:09:50 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:cdb:cabc:a7c7:75c9) |
| 2021-07-07 18:10:06 | × | y04nn quits (~y04nn@91.193.4.106) (Ping timeout: 268 seconds) |
| 2021-07-07 18:10:11 | → | mikail joins (~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) |
| 2021-07-07 18:12:15 | → | lortabac joins (~lortabac@95.138.56.124) |
| 2021-07-07 18:13:55 | × | azeem quits (~azeem@176.201.13.131) (Read error: Connection reset by peer) |
| 2021-07-07 18:14:07 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:cdb:cabc:a7c7:75c9) (Ping timeout: 246 seconds) |
| 2021-07-07 18:14:42 | → | azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-07 18:15:57 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-07-07 18:22:22 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-07-07 18:22:43 | → | y04nn joins (~y04nn@91.193.4.106) |
| 2021-07-07 18:26:13 | → | chris-the-slurpa joins (~chris@cpc68332-cdif16-2-0-cust330.5-1.cable.virginm.net) |
| 2021-07-07 18:27:01 | × | chris-the-slurpa quits (~chris@cpc68332-cdif16-2-0-cust330.5-1.cable.virginm.net) (Remote host closed the connection) |
| 2021-07-07 18:29:43 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-07-07 18:35:41 | <Atum_> | Hey, total newbie here, I'm trying to import a function from a second file (lib.hs) into my main, but I'm getting a variable not in scope error, whenever I try to call the function.. the paste is: https://paste.tomsmeding.com/EFLYwZDH |
| 2021-07-07 18:36:10 | <Atum_> | I'm using the vscode extension, and a stack default project |
| 2021-07-07 18:37:12 | <sm[m]> | hi Atum_ . double != doubleNum |
| 2021-07-07 18:37:22 | <sm[m]> | double != doubleFunc, rather |
| 2021-07-07 18:37:31 | <AWizzArd> | Yeah, try to call `doubleFunc` instead of `double`. |
| 2021-07-07 18:37:42 | <Atum_> | oh lol, yea |
| 2021-07-07 18:37:45 | <Atum_> | thanks |
| 2021-07-07 18:37:47 | <AWizzArd> | Atum_: line 7 in Main.hs looks problematic. |
| 2021-07-07 18:37:51 | <sm[m]> | 🦆 |
| 2021-07-07 18:37:56 | <Atum_> | thanks duck |
| 2021-07-07 18:38:11 | <AWizzArd> | And: calling it may not do too many interesting things. |
| 2021-07-07 18:38:23 | <Atum_> | yea, I'm literally 15 mins into my haskell adventure |
| 2021-07-07 18:38:31 | <AWizzArd> | Excellent :) |
| 2021-07-07 18:38:33 | <Atum_> | I don't know how long it will last, lol |
| 2021-07-07 18:38:42 | <sm[m]> | a grand adventure begins! |
| 2021-07-07 18:38:47 | <AWizzArd> | At least you are trying it at all. |
| 2021-07-07 18:39:10 | <AWizzArd> | Perhaps you will get an error message. In that case try something like: let x = doubleFunc 2 |
| 2021-07-07 18:39:46 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-07-07 18:40:03 | <Atum_> | Ok! thanks :) |
| 2021-07-07 18:40:26 | <AWizzArd> | Atum_: your adventure may lead you deep into that rabbit hole, and who knows, at the end you might be playing with injective type families and contravariant bifunctors. |
| 2021-07-07 18:43:10 | <Atum_> | AWizzArd: If I get this far it will be nice, haha |
| 2021-07-07 18:43:33 | × | y04nn quits (~y04nn@91.193.4.106) (Ping timeout: 252 seconds) |
| 2021-07-07 18:47:22 | × | mikail quits (~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) (Remote host closed the connection) |
| 2021-07-07 18:47:28 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-07-07 18:47:33 | × | lortabac quits (~lortabac@95.138.56.124) (Quit: WeeChat 2.8) |
| 2021-07-07 18:47:53 | × | norias quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Quit: Leaving) |
| 2021-07-07 18:48:08 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:cdb:cabc:a7c7:75c9) |
| 2021-07-07 18:48:16 | → | y04nn joins (~y04nn@91.193.4.106) |
| 2021-07-07 18:48:30 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1) |
| 2021-07-07 18:49:30 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 2021-07-07 18:51:40 | → | pjb joins (~pjb@user/pjb) |
| 2021-07-07 18:52:01 | → | mikail joins (~mikail@90.212.77.3) |
| 2021-07-07 18:54:10 | → | yauhsien joins (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) |
| 2021-07-07 18:55:11 | → | nschoe joins (~quassel@2a01:e0a:8e:a190:cd08:592:d0aa:def9) |
All times are in UTC.