Logs: freenode/#haskell
| 2021-05-07 13:29:31 | <merijn> | Gurkenglas: Idris |
| 2021-05-07 13:29:34 | → | shad0w_ joins (a0ca25b5@160.202.37.181) |
| 2021-05-07 13:29:39 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:1c47:1620:4713:95a3) |
| 2021-05-07 13:29:39 | <merijn> | Gurkenglas: Agda and Coq too :p |
| 2021-05-07 13:30:12 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-05-07 13:30:55 | <boxscape> | set theory |
| 2021-05-07 13:31:18 | <__monty__> | The language up until this point known as Coq. |
| 2021-05-07 13:32:14 | × | seven_three quits (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2021-05-07 13:32:29 | → | seven_three joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 2021-05-07 13:32:43 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-07 13:32:44 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-07 13:33:06 | × | nut quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-05-07 13:34:53 | <gentauro> | does anybody know if this actually downloads the body (or just the `headers`)? https://hackage.haskell.org/package/http-client-0.7.8/docs/src/Network.HTTP.Client.Core.html#httpNoBody |
| 2021-05-07 13:35:05 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 246 seconds) |
| 2021-05-07 13:35:26 | ← | seven_three parts (~user@pool-96-252-123-136.bstnma.fios.verizon.net) () |
| 2021-05-07 13:35:33 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-05-07 13:38:50 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-05-07 13:41:09 | → | hexfive joins (~hexfive@50.35.83.177) |
| 2021-05-07 13:43:29 | × | LKoen quits (~LKoen@140.170.9.109.rev.sfr.net) (Remote host closed the connection) |
| 2021-05-07 13:45:18 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 2021-05-07 13:45:40 | × | shad0w_ quits (a0ca25b5@160.202.37.181) (Quit: Connection closed) |
| 2021-05-07 13:45:48 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-07 13:45:49 | → | fendor_ joins (~fendor@91.141.1.48.wireless.dyn.drei.com) |
| 2021-05-07 13:46:29 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-07 13:48:22 | × | fendor quits (~fendor@178.165.131.207.wireless.dyn.drei.com) (Ping timeout: 268 seconds) |
| 2021-05-07 13:50:02 | × | drbean_ quits (~drbean@TC210-63-209-98.static.apol.com.tw) (Ping timeout: 260 seconds) |
| 2021-05-07 13:50:03 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-07 13:50:18 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-07 13:51:11 | → | zmijunkie joins (~Adium@87.122.209.149) |
| 2021-05-07 13:52:23 | × | fkjc quits (52d3c378@52d3c378.dynamic-ip.k-net.dk) (Quit: Connection closed) |
| 2021-05-07 13:52:55 | × | zmijunkie1 quits (~Adium@b2b-109-90-32-89.unitymedia.biz) (Ping timeout: 252 seconds) |
| 2021-05-07 13:54:02 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 2021-05-07 13:57:15 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-05-07 13:58:44 | → | dmytrish joins (~mitra@2a02:8084:a82:d900:9c42:c645:9089:b564) |
| 2021-05-07 13:59:50 | → | Alleria joins (~textual@zrcout.mskcc.org) |
| 2021-05-07 14:00:14 | Alleria | is now known as Guest32623 |
| 2021-05-07 14:00:19 | × | EvilMagix quits (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 276 seconds) |
| 2021-05-07 14:01:32 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-07 14:03:11 | → | dmytrish_ joins (~mitra@2a02:8084:a82:d900:e9e8:ba34:2f7c:4708) |
| 2021-05-07 14:04:41 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-05-07 14:06:40 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds) |
| 2021-05-07 14:07:11 | × | dmytrish quits (~mitra@2a02:8084:a82:d900:9c42:c645:9089:b564) (Ping timeout: 260 seconds) |
| 2021-05-07 14:07:32 | × | Xraell quits (~xraell@45.157.15.145) (Remote host closed the connection) |
| 2021-05-07 14:08:51 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-05-07 14:10:26 | × | jonathanx quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2021-05-07 14:10:48 | → | jonathanx joins (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 2021-05-07 14:11:00 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 265 seconds) |
| 2021-05-07 14:12:07 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-05-07 14:12:41 | → | dmytrish joins (~mitra@2a02:8084:a82:d900:471:637e:cf6a:1782) |
| 2021-05-07 14:16:58 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-05-07 14:16:59 | × | dmytrish_ quits (~mitra@2a02:8084:a82:d900:e9e8:ba34:2f7c:4708) (Ping timeout: 260 seconds) |
| 2021-05-07 14:17:46 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1) |
| 2021-05-07 14:17:46 | × | dmytrish quits (~mitra@2a02:8084:a82:d900:471:637e:cf6a:1782) (Quit: Konversation terminated!) |
| 2021-05-07 14:18:03 | → | dmytrish joins (~mitra@2a02:8084:a82:d900:471:637e:cf6a:1782) |
| 2021-05-07 14:19:22 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-07 14:20:39 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:1c47:1620:4713:95a3) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-07 14:22:17 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 268 seconds) |
| 2021-05-07 14:24:12 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 2021-05-07 14:24:32 | → | Sgeo joins (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 2021-05-07 14:26:00 | × | hexfive quits (~hexfive@50.35.83.177) (Quit: i must go. my people need me.) |
| 2021-05-07 14:26:10 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-07 14:26:13 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-05-07 14:26:39 | → | nut joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-07 14:27:22 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-07 14:27:40 | fendor_ | is now known as fendor |
| 2021-05-07 14:28:10 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:1c47:1620:4713:95a3) |
| 2021-05-07 14:28:38 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2021-05-07 14:31:08 | × | peterx112 quits (8ba26143@139.162.97.67) (Quit: Connection closed) |
| 2021-05-07 14:33:17 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-07 14:33:55 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-07 14:37:53 | → | zmijunkie1 joins (~Adium@b2b-109-90-32-89.unitymedia.biz) |
| 2021-05-07 14:38:07 | → | LKoen joins (~LKoen@140.170.9.109.rev.sfr.net) |
| 2021-05-07 14:38:24 | <tomsmeding> | Gurkenglas: IHaskell exists, not sure how good or up to date it is? |
| 2021-05-07 14:38:55 | × | dmytrish quits (~mitra@2a02:8084:a82:d900:471:637e:cf6a:1782) (Ping timeout: 260 seconds) |
| 2021-05-07 14:39:05 | <boxscape> | github repo appears to be active at least |
| 2021-05-07 14:39:07 | × | zmijunkie quits (~Adium@87.122.209.149) (Ping timeout: 252 seconds) |
| 2021-05-07 14:41:27 | <hc> | cucumber glass? |
| 2021-05-07 14:42:12 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-05-07 14:42:12 | → | mrchampion joins (~mrchampio@38.18.109.23) |
| 2021-05-07 14:42:15 | → | sedeki joins (~textual@unaffiliated/sedeki) |
| 2021-05-07 14:42:26 | → | zmijunkie joins (~Adium@87.122.209.149) |
| 2021-05-07 14:42:38 | × | zmijunkie1 quits (~Adium@b2b-109-90-32-89.unitymedia.biz) (Ping timeout: 268 seconds) |
| 2021-05-07 14:43:36 | <[exa]> | hc: a rare variety. |
| 2021-05-07 14:44:00 | <boxscape> | better translation would be a glass filled with pickles |
| 2021-05-07 14:44:21 | <hc> | thanks |
| 2021-05-07 14:44:27 | <hc> | :) |
| 2021-05-07 14:45:54 | <boxscape> | (s/glass/jar/, actually) |
| 2021-05-07 14:47:26 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:1c47:1620:4713:95a3) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-07 14:49:28 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:a9b8:e92a:88db:4a1) |
| 2021-05-07 14:52:54 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-07 14:53:18 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-07 14:53:30 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:a9b8:e92a:88db:4a1) (Remote host closed the connection) |
| 2021-05-07 14:53:46 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:a9b8:e92a:88db:4a1) |
| 2021-05-07 14:53:47 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:a9b8:e92a:88db:4a1) (Remote host closed the connection) |
| 2021-05-07 14:54:24 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:a9b8:e92a:88db:4a1) |
| 2021-05-07 14:54:47 | × | shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:9c28:d6f1:420e:a485) (Ping timeout: 260 seconds) |
| 2021-05-07 14:55:27 | <c_wraith> | gentauro: it's TCP. It sort of has to accept everything the server sends, unless it wants to break the connection. Also, the docs explicitly say that function is useful when making HEAD requests. That sounds to me like it just ignores any body that's sent. |
| 2021-05-07 14:55:41 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-07 14:56:35 | × | acidjnk_new2 quits (~acidjnk@p200300d0c72b9546b8782f113d81ff07.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-05-07 14:57:14 | <c_wraith> | gentauro: if you want to tell the server not to send the body, make a HEAD request instead of a GET request |
All times are in UTC.