Logs: freenode/#haskell
| 2021-03-01 05:33:08 | → | Tops2 joins (~Tobias@dyndsl-095-033-090-074.ewe-ip-backbone.de) |
| 2021-03-01 05:35:00 | <pavonia> | By consume you mean evaluate? |
| 2021-03-01 05:35:21 | × | Tops21 quits (~Tobias@dyndsl-095-033-017-115.ewe-ip-backbone.de) (Ping timeout: 264 seconds) |
| 2021-03-01 05:35:51 | × | Narinas quits (~Narinas@187.178.93.112) (Remote host closed the connection) |
| 2021-03-01 05:36:14 | <jamestmartin> | I mean consume in the linear sense, as in `consume :: Void %1-> a` `consume x = _` typechecks |
| 2021-03-01 05:37:04 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-03-01 05:37:09 | <pavonia> | Hhm, I don't know wht that syntax means |
| 2021-03-01 05:37:58 | <pavonia> | But `(...) x` is different in the way it is a function application |
| 2021-03-01 05:41:07 | → | gimps joins (~gimps@178.239.168.171) |
| 2021-03-01 05:43:16 | × | __minoru__shirae quits (~shiraeesh@5.101.59.4) (Ping timeout: 240 seconds) |
| 2021-03-01 05:44:09 | × | InsideBreeze quits (9a110de1@154.17.13.225) (Quit: Connection closed) |
| 2021-03-01 05:44:23 | → | forgottenone joins (~forgotten@176.42.27.254) |
| 2021-03-01 05:45:15 | → | InsideBreeze joins (9a110de1@154.17.13.225) |
| 2021-03-01 05:45:30 | × | InsideBreeze quits (9a110de1@154.17.13.225) (Client Quit) |
| 2021-03-01 05:45:51 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 2021-03-01 05:46:23 | × | sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2021-03-01 05:46:53 | → | sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) |
| 2021-03-01 05:47:30 | × | emmanuel_erc quits (~user@rrcs-23-246-116-5.nys.biz.rr.com) (Remote host closed the connection) |
| 2021-03-01 05:47:37 | → | emmanuel_erc joins (~user@rrcs-23-246-116-5.nys.biz.rr.com) |
| 2021-03-01 05:48:26 | → | Kortantic joins (4c1b6755@c-76-27-103-85.hsd1.ut.comcast.net) |
| 2021-03-01 05:49:10 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-01 05:49:45 | × | Kortantic quits (4c1b6755@c-76-27-103-85.hsd1.ut.comcast.net) (Client Quit) |
| 2021-03-01 05:51:00 | → | aerona joins (~aerona@2600:6c54:4600:f300:a563:178a:b1b1:10ea) |
| 2021-03-01 05:52:31 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
| 2021-03-01 05:53:54 | × | Tops2 quits (~Tobias@dyndsl-095-033-090-074.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2021-03-01 05:53:57 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 264 seconds) |
| 2021-03-01 05:54:29 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-01 05:55:33 | × | conal quits (~conal@66.115.157.106) (Quit: Computer has gone to sleep.) |
| 2021-03-01 05:55:50 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-03-01 05:56:23 | → | conal joins (~conal@66.115.157.106) |
| 2021-03-01 05:57:48 | × | conal quits (~conal@66.115.157.106) (Client Quit) |
| 2021-03-01 05:58:40 | → | shad0w_ joins (a0ca2456@160.202.36.86) |
| 2021-03-01 05:58:44 | → | conal joins (~conal@66.115.157.106) |
| 2021-03-01 05:58:48 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 245 seconds) |
| 2021-03-01 05:58:49 | × | conal quits (~conal@66.115.157.106) (Client Quit) |
| 2021-03-01 05:59:13 | <shad0w_> | can i cross compile for arm64/aarch64 from my windows/linux machines ? |
| 2021-03-01 06:00:15 | → | conal joins (~conal@192.145.118.113) |
| 2021-03-01 06:01:00 | × | shad0w_ quits (a0ca2456@160.202.36.86) (Client Quit) |
| 2021-03-01 06:02:03 | → | shad0w_ joins (a0ca2456@160.202.36.86) |
| 2021-03-01 06:09:53 | × | shad0w_ quits (a0ca2456@160.202.36.86) (Quit: Connection closed) |
| 2021-03-01 06:10:37 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:a857:70bc:9343:9cab) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-01 06:11:05 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2021-03-01 06:15:11 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 2021-03-01 06:18:43 | × | rembo10_ quits (~rembo10@wally.codeshy.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-03-01 06:19:16 | → | cads joins (~cads@ip-64-72-99-232.lasvegas.net) |
| 2021-03-01 06:22:17 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2021-03-01 06:23:47 | → | rembo10 joins (~rembo10@wally.codeshy.com) |
| 2021-03-01 06:24:12 | → | knupfer joins (~Thunderbi@200116b824fa7200e4e032dd4c9fa8cc.dip.versatel-1u1.de) |
| 2021-03-01 06:25:15 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) |
| 2021-03-01 06:25:29 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 2021-03-01 06:29:00 | → | aggin joins (~ecm@103.88.87.73) |
| 2021-03-01 06:30:44 | → | toorevitimirp joins (~tooreviti@117.182.182.60) |
| 2021-03-01 06:32:27 | × | lambda-11235 quits (~lambda-11@2600:1700:7c70:4600:24a3:780d:1b89:fbe4) (Quit: Bye) |
| 2021-03-01 06:32:27 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2021-03-01 06:33:33 | × | deviantfero quits (~deviantfe@190.150.27.58) (Ping timeout: 264 seconds) |
| 2021-03-01 06:33:46 | × | aggin quits (~ecm@103.88.87.73) (Client Quit) |
| 2021-03-01 06:34:12 | → | aggin joins (~ecm@103.88.87.73) |
| 2021-03-01 06:35:31 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-01 06:38:47 | × | aggin quits (~ecm@103.88.87.73) (Client Quit) |
| 2021-03-01 06:39:10 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-01 06:41:07 | → | aggin joins (~ecm@103.88.87.73) |
| 2021-03-01 06:42:07 | × | aggin quits (~ecm@103.88.87.73) (Client Quit) |
| 2021-03-01 06:42:15 | × | mrioqueiroz quits (~mrioqueir@177.74.248.219) (Ping timeout: 240 seconds) |
| 2021-03-01 06:42:22 | → | aggin joins (~ecm@103.88.87.73) |
| 2021-03-01 06:43:24 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 245 seconds) |
| 2021-03-01 06:46:47 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-03-01 06:48:04 | → | vchlup_ joins (~vchlup@nat.brnet.cz) |
| 2021-03-01 06:52:28 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-03-01 06:53:05 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-01 06:54:02 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-03-01 06:57:33 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 264 seconds) |
| 2021-03-01 07:00:10 | × | emmanuel_erc quits (~user@rrcs-23-246-116-5.nys.biz.rr.com) (Ping timeout: 276 seconds) |
| 2021-03-01 07:00:54 | × | sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2021-03-01 07:02:07 | → | sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) |
| 2021-03-01 07:08:02 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 2021-03-01 07:10:09 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-03-01 07:11:54 | → | emmanuel_erc joins (~user@rrcs-23-246-116-5.nys.biz.rr.com) |
| 2021-03-01 07:13:55 | → | _ht joins (~quassel@82.169.194.8) |
| 2021-03-01 07:16:43 | × | emmanuel_erc quits (~user@rrcs-23-246-116-5.nys.biz.rr.com) (Ping timeout: 245 seconds) |
| 2021-03-01 07:17:15 | × | geowiesnot_bis quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-03-01 07:20:34 | → | bergey joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 2021-03-01 07:20:35 | → | danza joins (~francesco@151.53.76.37) |
| 2021-03-01 07:24:36 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Remote host closed the connection) |
| 2021-03-01 07:26:11 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) |
| 2021-03-01 07:29:38 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Remote host closed the connection) |
| 2021-03-01 07:29:50 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) |
| 2021-03-01 07:32:05 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Remote host closed the connection) |
| 2021-03-01 07:32:17 | × | jpds_ quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-03-01 07:32:34 | × | eyenx quits (~eyenxeyen@unaffiliated/eye/x-1653358) (Remote host closed the connection) |
| 2021-03-01 07:32:42 | → | jpds_ joins (~jpds@gateway/tor-sasl/jpds) |
| 2021-03-01 07:32:44 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) |
| 2021-03-01 07:33:50 | → | eyenx joins (~eyenxeyen@unaffiliated/eye/x-1653358) |
| 2021-03-01 07:34:19 | × | bergey quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2021-03-01 07:35:18 | × | MKirisame quits (~MarisaKir@c-98-237-240-11.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 2021-03-01 07:36:04 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2021-03-01 07:37:14 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Ping timeout: 264 seconds) |
| 2021-03-01 07:39:29 | → | bitmagie joins (~Thunderbi@200116b8061b980088bf1ce130705d54.dip.versatel-1u1.de) |
| 2021-03-01 07:42:45 | → | chele joins (~chele@ip5b40237d.dynamic.kabel-deutschland.de) |
| 2021-03-01 07:44:51 | → | Aquazi joins (uid312403@gateway/web/irccloud.com/x-fhcnshqczetlnffl) |
| 2021-03-01 07:47:49 | → | dhouthoo joins (~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be) |
All times are in UTC.