Logs: liberachat/#haskell
| 2021-07-08 09:59:32 | <Guest29> | oh ok. thx |
| 2021-07-08 10:00:23 | × | Obo quits (~roberto@122.red-83-38-248.dynamicip.rima-tde.net) (Ping timeout: 268 seconds) |
| 2021-07-08 10:02:02 | × | myShoggoth quits (~myShoggot@75.164.51.64) (Read error: Connection reset by peer) |
| 2021-07-08 10:02:02 | → | Obo joins (~roberto@94.191.137.180.mobile.tre.se) |
| 2021-07-08 10:04:48 | × | azeem quits (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-07-08 10:04:54 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-07-08 10:05:12 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-08 10:07:06 | → | warnz joins (~warnz@2600:1700:77c0:5610:edd9:472d:4b89:9ab8) |
| 2021-07-08 10:10:42 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-07-08 10:11:12 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-08 10:11:50 | × | warnz quits (~warnz@2600:1700:77c0:5610:edd9:472d:4b89:9ab8) (Ping timeout: 252 seconds) |
| 2021-07-08 10:13:46 | × | darklambda quits (~whateverg@111.65.56.40) (Quit: leaving) |
| 2021-07-08 10:15:09 | → | solaire joins (~solaire@pool-108-31-85-19.washdc.fios.verizon.net) |
| 2021-07-08 10:16:20 | × | solaire quits (~solaire@pool-108-31-85-19.washdc.fios.verizon.net) (Client Quit) |
| 2021-07-08 10:16:46 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-07-08 10:16:48 | → | darklambda joins (~whateverg@111.65.56.40) |
| 2021-07-08 10:17:12 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-08 10:18:22 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-08 10:19:28 | × | Guest29 quits (~Guest29@2a02:a03f:8dbe:300:c46e:da5f:3e3c:1d44) (Quit: Client closed) |
| 2021-07-08 10:20:43 | → | azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-08 10:22:09 | → | drd joins (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 2021-07-08 10:22:17 | → | Atum_ joins (~IRC@user/atum/x-2392232) |
| 2021-07-08 10:22:34 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2021-07-08 10:23:43 | → | AgentM joins (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) |
| 2021-07-08 10:24:17 | <boxscape> | > "b+𝐛+𝑏+𝒃+𝒷+𝓫+𝔟+𝕓+𝖇+𝘣+𝙗+𝚋" |
| 2021-07-08 10:24:19 | <lambdabot> | "b+\119835+\119887+\119939+\119991+\120043+\120095+\120147+\120199+\120355+\... |
| 2021-07-08 10:25:51 | → | zcombinator joins (~zcombinat@5.180.62.223) |
| 2021-07-08 10:26:33 | <kuribas> | wouldn't it be nice if you could write TH like mustache templates? |
| 2021-07-08 10:27:32 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-07-08 10:27:44 | → | ptr_frac7al joins (~longlong@user/ptr-frac7al/x-0038398) |
| 2021-07-08 10:27:50 | <kuribas> | or something else textual |
| 2021-07-08 10:28:07 | → | Pickchea joins (~private@user/pickchea) |
| 2021-07-08 10:29:12 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-08 10:29:55 | <Rembane> | Sounds intriguing, can it be done as a hack using the preprocessor? |
| 2021-07-08 10:30:31 | <Rembane> | ...just to get a feel for it |
| 2021-07-08 10:32:36 | × | ptr_frac7al quits (~longlong@user/ptr-frac7al/x-0038398) (Ping timeout: 272 seconds) |
| 2021-07-08 10:33:39 | <boxscape> | if <*> is "ap", how do you pronounce <**>? |
| 2021-07-08 10:34:23 | <boxscape> | I was thinking maybe "flap", portmanteau of flip and ap |
| 2021-07-08 10:34:34 | <boxscape> | but I don't know if there's a semi-established name |
| 2021-07-08 10:34:47 | <Atum_> | stack compilation on windows is super slow, wow |
| 2021-07-08 10:35:09 | <Atum_> | installed wsl, and now it is like, 10x faster |
| 2021-07-08 10:35:13 | <boxscape> | compiling stack or compiling a program with stack? |
| 2021-07-08 10:35:23 | <Atum_> | compiling a program with stack |
| 2021-07-08 10:35:25 | <Atum_> | using the default template |
| 2021-07-08 10:35:28 | <boxscape> | I see, weird |
| 2021-07-08 10:37:15 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Quit: mikoto-chan) |
| 2021-07-08 10:37:30 | → | mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-07-08 10:39:34 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-07-08 10:40:49 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-08 10:42:33 | × | zcombinator quits (~zcombinat@5.180.62.223) (Quit: WeeChat 3.2) |
| 2021-07-08 10:46:32 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-07-08 10:46:46 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-08 10:47:19 | → | zcombinator joins (~zcombinat@host-87-7-58-35.retail.telecomitalia.it) |
| 2021-07-08 10:48:28 | → | chomwitt joins (~Pitsikoko@athedsl-16082.home.otenet.gr) |
| 2021-07-08 10:49:54 | × | kayprish quits (~kayprish@46.240.143.86) (Ping timeout: 252 seconds) |
| 2021-07-08 10:51:57 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-07-08 10:52:42 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-08 10:58:05 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-07-08 10:58:56 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-08 10:59:55 | × | Kaipi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 2021-07-08 11:00:25 | → | Kaipi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-07-08 11:03:49 | × | kenran quits (~kenran@200116b82bdcfa0070f86b22d449a64a.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2021-07-08 11:04:13 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-07-08 11:04:36 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-08 11:05:18 | <dminuoso> | kuribas: Nothing keeps you from using mustache on haskell files! :D |
| 2021-07-08 11:08:03 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 2021-07-08 11:09:49 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-07-08 11:10:33 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-08 11:10:54 | × | zcombinator quits (~zcombinat@host-87-7-58-35.retail.telecomitalia.it) (Quit: WeeChat 3.2) |
| 2021-07-08 11:11:02 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-07-08 11:11:55 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-07-08 11:13:36 | → | Kirat joins (~Gill@157.39.157.217) |
| 2021-07-08 11:13:49 | × | Kirat quits (~Gill@157.39.157.217) (Client Quit) |
| 2021-07-08 11:15:46 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-07-08 11:16:48 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-08 11:19:07 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-07-08 11:25:08 | × | chomwitt quits (~Pitsikoko@athedsl-16082.home.otenet.gr) (Ping timeout: 265 seconds) |
| 2021-07-08 11:26:34 | × | drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 240 seconds) |
| 2021-07-08 11:28:06 | → | chris-the-slurpa joins (~chris@81.96.113.213) |
| 2021-07-08 11:35:21 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 268 seconds) |
| 2021-07-08 11:40:25 | <viluon> | dminuoso: sorry to ping you again, would you happen to know about places I could learn generics-sop by example? |
| 2021-07-08 11:40:28 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 252 seconds) |
| 2021-07-08 11:41:29 | × | chris-the-slurpa quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-08 11:42:00 | → | chris-the-slurpa joins (~chris@81.96.113.213) |
| 2021-07-08 11:43:33 | → | chris-th_ joins (~chris@81.96.113.213) |
| 2021-07-08 11:43:33 | × | chris-the-slurpa quits (~chris@81.96.113.213) (Read error: Connection reset by peer) |
| 2021-07-08 11:44:00 | × | sander quits (~sander@user/sander) (Quit: So long! :)) |
| 2021-07-08 11:44:12 | → | sander joins (~sander@user/sander) |
| 2021-07-08 11:44:36 | × | Obo quits (~roberto@94.191.137.180.mobile.tre.se) (Read error: Connection reset by peer) |
| 2021-07-08 11:47:39 | × | dunkeln_ quits (~dunkeln@188.70.10.207) (Ping timeout: 252 seconds) |
| 2021-07-08 11:50:06 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-08 11:50:21 | → | Obo joins (~roberto@122.red-83-38-248.dynamicip.rima-tde.net) |
| 2021-07-08 11:57:59 | × | Obo quits (~roberto@122.red-83-38-248.dynamicip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2021-07-08 12:00:24 | → | chomwitt joins (~Pitsikoko@athedsl-16082.home.otenet.gr) |
| 2021-07-08 12:00:26 | → | yauhsien joins (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) |
| 2021-07-08 12:03:00 | → | jippiedoe joins (~david@2a02-a44c-e14e-1-bdc4-1e8f-afa7-3bad.fixed6.kpn.net) |
| 2021-07-08 12:03:04 | → | zcombinator joins (~zcombinat@host-87-7-58-35.retail.telecomitalia.it) |
| 2021-07-08 12:03:38 | × | MQ-17J quits (~MQ-17J@8.21.10.15) (Ping timeout: 258 seconds) |
| 2021-07-08 12:05:53 | × | yauhsien quits (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2021-07-08 12:06:26 | → | yauhsien joins (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) |
All times are in UTC.