Logs: liberachat/#haskell
| 2021-07-31 03:07:10 | ← | delYsid parts (~user@84-115-55-45.cable.dynamic.surfer.at) (ERC (IRC client for Emacs 27.1.50)) |
| 2021-07-31 03:09:16 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds) |
| 2021-07-31 03:10:01 | <Patrick18> | How can I download said profiling libs (including base)? |
| 2021-07-31 03:10:38 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-07-31 03:11:55 | × | Guest4 quits (~Guest4@173-28-193-122.client.mchsi.com) (Quit: Client closed) |
| 2021-07-31 03:25:16 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-31 03:28:21 | × | Patrick18 quits (~Patrick18@pool-100-36-167-42.washdc.fios.verizon.net) (Quit: Client closed) |
| 2021-07-31 03:30:38 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 2021-07-31 03:31:42 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2021-07-31 03:36:04 | × | roboguy__ quits (~roboguy_@2605:a601:afe7:9f00:21b8:dc17:ae59:fdd6) () |
| 2021-07-31 03:37:37 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-31 03:39:41 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2021-07-31 03:40:56 | × | qontinuum quits (qontinuum@user/qontinuum) (Quit: See ya) |
| 2021-07-31 03:41:08 | → | qontinuum joins (qontinuum@user/qontinuum) |
| 2021-07-31 03:41:54 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2021-07-31 03:47:50 | × | Null_A quits (~null_a@67-207-96-2.static.wiline.com) (Read error: Connection reset by peer) |
| 2021-07-31 03:48:16 | → | Null_A joins (~null_a@67-207-96-2.static.wiline.com) |
| 2021-07-31 03:49:42 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-31 03:52:11 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 265 seconds) |
| 2021-07-31 03:54:07 | × | willbush quits (~user@47.183.200.14) (Quit: ERC (IRC client for Emacs 28.0.50)) |
| 2021-07-31 03:55:20 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 2021-07-31 03:56:03 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2021-07-31 04:01:01 | × | Nahra` quits (~user@static.161.95.99.88.clients.your-server.de) (Ping timeout: 258 seconds) |
| 2021-07-31 04:02:20 | → | bitmapper joins (uid464869@id-464869.tooting.irccloud.com) |
| 2021-07-31 04:03:46 | × | funsafe quits (~funsafe@c-71-59-221-7.hsd1.wa.comcast.net) (Ping timeout: 240 seconds) |
| 2021-07-31 04:06:03 | → | funsafe joins (~funsafe@2601:1c1:4200:938f:32aa:eb39:2110:e2ea) |
| 2021-07-31 04:09:31 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-31 04:09:58 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-07-31 04:10:57 | × | gzj quits (~GZJ0X@199.193.127.138.16clouds.com) (Remote host closed the connection) |
| 2021-07-31 04:12:36 | → | mikoto-chan joins (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) |
| 2021-07-31 04:16:53 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-07-31 04:20:34 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 258 seconds) |
| 2021-07-31 04:22:12 | × | shredder quits (~user@user/shredder) (Quit: quitting) |
| 2021-07-31 04:24:33 | → | shredder joins (~user@user/shredder) |
| 2021-07-31 04:24:36 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2021-07-31 04:25:40 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-07-31 04:25:41 | × | sus quits (thelounge@user/zeromomentum) (Quit: the lounge - https://webirc.envs.net) |
| 2021-07-31 04:26:04 | → | img joins (~img@user/img) |
| 2021-07-31 04:26:07 | → | sus joins (thelounge@user/zeromomentum) |
| 2021-07-31 04:37:36 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-07-31 04:42:42 | → | Cajun joins (~Cajun@user/cajun) |
| 2021-07-31 04:44:06 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-07-31 04:50:07 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-31 04:50:29 | → | bruceleewees joins (~bruceleew@83.24.236.64.ipv4.supernova.orange.pl) |
| 2021-07-31 04:52:33 | × | tpefreedom quits (~tsomers@98-125-225-122.dyn.centurytel.net) (Remote host closed the connection) |
| 2021-07-31 05:03:44 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-07-31 05:04:48 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-31 05:07:06 | × | Brianmancer quits (~Neuromanc@user/briandamag) (Ping timeout: 265 seconds) |
| 2021-07-31 05:26:06 | × | P1RATEZ quits (piratez@user/p1ratez) (Remote host closed the connection) |
| 2021-07-31 05:27:45 | → | ubert joins (~Thunderbi@77.119.223.125.wireless.dyn.drei.com) |
| 2021-07-31 05:30:09 | → | reumeth joins (~reumeth@user/reumeth) |
| 2021-07-31 05:32:57 | → | mastarija__ joins (~mastarija@31.217.8.174) |
| 2021-07-31 05:34:49 | × | ubert quits (~Thunderbi@77.119.223.125.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-07-31 05:35:08 | → | ubert joins (~Thunderbi@77.119.223.125.wireless.dyn.drei.com) |
| 2021-07-31 05:36:09 | → | matthias1 joins (~igloo@cpe-76-170-236-166.socal.res.rr.com) |
| 2021-07-31 05:40:19 | × | matthias1 quits (~igloo@cpe-76-170-236-166.socal.res.rr.com) (Remote host closed the connection) |
| 2021-07-31 05:41:41 | × | retroid_ quits (~retro@5ec19a54.skybroadband.com) (Ping timeout: 252 seconds) |
| 2021-07-31 05:45:47 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-07-31 05:46:00 | → | MQ-17J joins (~MQ-17J@8.6.144.192) |
| 2021-07-31 05:53:31 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-07-31 06:01:24 | → | fef joins (~thedawn@user/thedawn) |
| 2021-07-31 06:01:56 | → | Guest9 joins (~Guest9@43.241.144.40) |
| 2021-07-31 06:02:45 | → | Brianmancer joins (~Neuromanc@user/briandamag) |
| 2021-07-31 06:03:06 | → | retroid_ joins (~retro@5ec19a54.skybroadband.com) |
| 2021-07-31 06:07:34 | × | wei2912 quits (~wei2912@112.199.250.21) (Quit: Lost terminal) |
| 2021-07-31 06:08:15 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-07-31 06:09:16 | → | mastarija_ joins (~mastarija@31.217.8.174) |
| 2021-07-31 06:12:30 | × | mastarija__ quits (~mastarija@31.217.8.174) (Ping timeout: 258 seconds) |
| 2021-07-31 06:14:14 | × | peterhil quits (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-07-31 06:18:26 | → | Meh joins (~Meh@202.14.120.94) |
| 2021-07-31 06:18:50 | Meh | is now known as Guest3079 |
| 2021-07-31 06:21:39 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-07-31 06:22:39 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 2021-07-31 06:22:51 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-07-31 06:24:56 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-31 06:26:07 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-07-31 06:26:25 | × | Guest3079 quits (~Meh@202.14.120.94) (Quit: Connection closed) |
| 2021-07-31 06:28:34 | × | MQ-17J quits (~MQ-17J@8.6.144.192) (Ping timeout: 240 seconds) |
| 2021-07-31 06:33:58 | × | ubert quits (~Thunderbi@77.119.223.125.wireless.dyn.drei.com) (Ping timeout: 258 seconds) |
| 2021-07-31 06:35:59 | → | sagax joins (~sagax@213.138.71.146) |
| 2021-07-31 06:36:59 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Quit: Off to see the wizard.) |
| 2021-07-31 06:37:39 | × | justache quits (~justache@user/justache) (Remote host closed the connection) |
| 2021-07-31 06:38:27 | → | justache joins (~justache@user/justache) |
| 2021-07-31 06:38:48 | × | jmorris quits (uid433911@id-433911.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-31 06:39:36 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 2021-07-31 06:39:54 | × | qontinuum quits (qontinuum@user/qontinuum) (Ping timeout: 265 seconds) |
| 2021-07-31 06:40:08 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-31 06:41:00 | <aegon> | hmm, i'm trying to multiply to Nat's but its complaining about the kind, am i missing an extension? |
| 2021-07-31 06:41:09 | <aegon> | i see * defined for Nats in typelits as a type family |
| 2021-07-31 06:43:49 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
| 2021-07-31 06:44:12 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 2021-07-31 06:46:41 | × | Null_A quits (~null_a@67-207-96-2.static.wiline.com) () |
| 2021-07-31 06:47:26 | <monochrom> | Perhaps NoStarIsType |
| 2021-07-31 06:48:14 | × | retroid_ quits (~retro@5ec19a54.skybroadband.com) (Ping timeout: 272 seconds) |
| 2021-07-31 06:49:27 | → | stenvold joins (~stenvold@2001:a61:25f1:6701:a993:a914:786f:a6f5) |
| 2021-07-31 06:49:47 | → | anandprabhu joins (~anandprab@45.83.220.206) |
| 2021-07-31 06:50:42 | × | xkuru quits (~xkuru@user/xkuru) (Remote host closed the connection) |
| 2021-07-31 06:52:24 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Remote host closed the connection) |
| 2021-07-31 06:52:28 | × | nate3 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2021-07-31 06:52:46 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
All times are in UTC.