Logs: liberachat/#haskell
| 2021-08-24 08:06:14 | → | hendursa1 joins (~weechat@user/hendursaga) |
| 2021-08-24 08:08:22 | × | hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 2021-08-24 08:11:10 | <tomsmeding> | Drew[m]: I also don't, hence I just copied it over :p |
| 2021-08-24 08:15:24 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9556a59b812708dd2de4.dip0.t-ipconnect.de) |
| 2021-08-24 08:17:11 | <tomsmeding> | jchia[m]: apparently this exists in Test.QuickCheck.Random https://github.com/nick8325/quickcheck/blob/master/src/Test/QuickCheck/Random.hs#L71 |
| 2021-08-24 08:17:38 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-08-24 08:17:39 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-24 08:17:42 | allbery_b | is now known as geekosaur |
| 2021-08-24 08:17:54 | → | qbt joins (~edun@user/edun) |
| 2021-08-24 08:17:56 | <tomsmeding> | don't know why there's no documentation generated (I found it by scouting down https://github.com/UnkindPartition/tasty/blob/efe0ad287032b17bfd78c646db62e833518eeb19/quickcheck/Test/Tasty/QuickCheck.hs#L163 ) |
| 2021-08-24 08:19:36 | <Drew[m]> | tomsmeding: turns out there is a --project-file flag |
| 2021-08-24 08:20:02 | <jchia[m]> | The haddock is broken. Maybe that's why I couldn't find the relevant docs. |
| 2021-08-24 08:20:17 | <tomsmeding> | jchia[m]: yeah, no idea why |
| 2021-08-24 08:20:43 | <jchia[m]> | I often come across packages having partially or totally broken haddock. |
| 2021-08-24 08:20:45 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-08-24 08:24:47 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:71e9:72b:1860:cb0f) (Remote host closed the connection) |
| 2021-08-24 08:26:25 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-24 08:30:40 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2021-08-24 08:31:10 | × | talismanick quits (~user@2601:644:8500:8350::e26b) (Ping timeout: 240 seconds) |
| 2021-08-24 08:31:43 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-08-24 08:34:35 | × | jonathanx quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2021-08-24 08:46:52 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-08-24 08:48:48 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-24 08:53:46 | → | polyphem joins (~polyphem@2a02:810d:640:776c:bd0c:a594:ef4e:c3f3) |
| 2021-08-24 08:56:19 | × | jtomas quits (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-08-24 08:57:27 | → | jtomas joins (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) |
| 2021-08-24 09:00:36 | × | jtomas quits (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-08-24 09:02:07 | × | azeem quits (~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it) (Ping timeout: 250 seconds) |
| 2021-08-24 09:03:04 | → | jtomas joins (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) |
| 2021-08-24 09:03:27 | × | jtomas quits (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-08-24 09:03:48 | → | azeem joins (~azeem@176.201.15.223) |
| 2021-08-24 09:04:20 | → | elf_fortrez joins (~elf_fortr@adsl-72-50-7-11.prtc.net) |
| 2021-08-24 09:05:18 | × | azeem quits (~azeem@176.201.15.223) (Read error: Connection reset by peer) |
| 2021-08-24 09:05:36 | → | azeem joins (~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it) |
| 2021-08-24 09:06:21 | → | jtomas joins (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) |
| 2021-08-24 09:06:48 | × | elf_fortrez quits (~elf_fortr@adsl-72-50-7-11.prtc.net) (Client Quit) |
| 2021-08-24 09:09:02 | → | elf_fortrez joins (~elf_fortr@adsl-72-50-6-136.prtc.net) |
| 2021-08-24 09:24:05 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-08-24 09:25:17 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:71e9:72b:1860:cb0f) |
| 2021-08-24 09:26:00 | × | hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-08-24 09:29:51 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:71e9:72b:1860:cb0f) (Ping timeout: 250 seconds) |
| 2021-08-24 09:30:07 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 240 seconds) |
| 2021-08-24 09:31:35 | × | azeem quits (~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-08-24 09:35:49 | → | ubert1 joins (~Thunderbi@91.141.36.16.wireless.dyn.drei.com) |
| 2021-08-24 09:37:13 | × | ubert quits (~Thunderbi@91.141.36.16.wireless.dyn.drei.com) (Ping timeout: 250 seconds) |
| 2021-08-24 09:37:13 | ubert1 | is now known as ubert |
| 2021-08-24 09:37:33 | → | icebreaker joins (~icebreake@user/icebreaker) |
| 2021-08-24 09:40:55 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-08-24 09:40:57 | × | icebreaker quits (~icebreake@user/icebreaker) (Client Quit) |
| 2021-08-24 09:41:14 | → | icebreaker joins (~icebreake@user/icebreaker) |
| 2021-08-24 09:41:27 | × | Morrow_ quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 240 seconds) |
| 2021-08-24 09:41:43 | × | shailangsa quits (~shailangs@host86-185-102-120.range86-185.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2021-08-24 09:42:16 | × | Moyst quits (~moyst@user/moyst) (Ping timeout: 252 seconds) |
| 2021-08-24 09:43:43 | → | azeem joins (~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it) |
| 2021-08-24 09:44:03 | → | Moyst joins (~moyst@user/moyst) |
| 2021-08-24 09:44:44 | → | enoq joins (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) |
| 2021-08-24 09:47:43 | × | mniip quits (mniip@libera/staff/mniip) (Quit: This page is intentionally left blank.) |
| 2021-08-24 09:47:46 | → | mniip_ joins (mniip@libera/staff/mniip) |
| 2021-08-24 09:57:41 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-08-24 10:02:24 | → | jippiedoe joins (~david@2a02-a44c-e14e-1-d8c8-4f7-e34-193e.fixed6.kpn.net) |
| 2021-08-24 10:04:00 | × | lortabac quits (~lortabac@62.98.34.238) (Quit: WeeChat 2.8) |
| 2021-08-24 10:04:49 | × | elf_fortrez quits (~elf_fortr@adsl-72-50-6-136.prtc.net) (Ping timeout: 246 seconds) |
| 2021-08-24 10:08:07 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-24 10:12:42 | → | drsocks joins (~aaashutos@113.199.149.122) |
| 2021-08-24 10:12:57 | × | drsocks quits (~aaashutos@113.199.149.122) (Client Quit) |
| 2021-08-24 10:14:02 | → | shailangsa_ joins (~shailangs@host86-185-102-120.range86-185.btcentralplus.com) |
| 2021-08-24 10:15:20 | × | mcglk quits (~mcglk@131.191.49.120) (Read error: Connection reset by peer) |
| 2021-08-24 10:16:14 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-08-24 10:16:20 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 2021-08-24 10:16:38 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-24 10:16:45 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-24 10:17:00 | → | mcglk joins (~mcglk@131.191.49.120) |
| 2021-08-24 10:18:15 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-08-24 10:18:34 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-08-24 10:22:47 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-08-24 10:24:07 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-24 10:25:12 | × | ubert quits (~Thunderbi@91.141.36.16.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-08-24 10:26:22 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:a8c1:f34:41fc:ef3d) |
| 2021-08-24 10:28:47 | × | hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2021-08-24 10:29:07 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-08-24 10:29:52 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-24 10:30:34 | × | dsrt^ quits (~dsrt@12.16.129.111) (Remote host closed the connection) |
| 2021-08-24 10:30:57 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:a8c1:f34:41fc:ef3d) (Ping timeout: 250 seconds) |
| 2021-08-24 10:33:22 | → | doyougnu joins (~user@c-73-25-202-122.hsd1.or.comcast.net) |
| 2021-08-24 10:34:47 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-08-24 10:35:32 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-24 10:35:39 | → | dschrempf joins (~dominik@92-249-199-97.pool.digikabel.hu) |
| 2021-08-24 10:37:27 | × | keutoi quits (~keutoi@157.47.104.135) (Ping timeout: 250 seconds) |
| 2021-08-24 10:39:19 | → | keutoi joins (~keutoi@106.208.52.196) |
| 2021-08-24 10:40:55 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 2021-08-24 10:41:32 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-24 10:43:58 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-08-24 10:47:25 | × | aman quits (~aman@user/aman) (Ping timeout: 250 seconds) |
| 2021-08-24 10:47:30 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-24 10:48:28 | → | aman joins (~aman@user/aman) |
| 2021-08-24 10:48:43 | × | keutoi quits (~keutoi@106.208.52.196) (Ping timeout: 250 seconds) |
| 2021-08-24 10:48:46 | × | dschrempf quits (~dominik@92-249-199-97.pool.digikabel.hu) (Quit: WeeChat 3.2) |
| 2021-08-24 10:48:57 | → | Morrow_ joins (~Morrow@31.154.96.164) |
| 2021-08-24 10:50:08 | × | doyougnu quits (~user@c-73-25-202-122.hsd1.or.comcast.net) (Quit: ERC (IRC client for Emacs 28.0.50)) |
| 2021-08-24 10:50:39 | → | keutoi joins (~keutoi@157.48.189.217) |
All times are in UTC.