Logs: liberachat/#haskell
| 2021-08-24 19:30:53 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-24 19:30:53 | × | lavaman quits (~lavaman@98.38.249.169) (Read error: Connection reset by peer) |
| 2021-08-24 19:31:04 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-24 19:31:19 | × | neo quits (~neo3@cpe-292712.ip.primehome.com) (Ping timeout: 252 seconds) |
| 2021-08-24 19:32:30 | → | Pickchea joins (~private@user/pickchea) |
| 2021-08-24 19:33:42 | → | hseg joins (~gesh@IGLD-84-228-238-79.inter.net.il) |
| 2021-08-24 19:34:23 | <zzz> | Data.Graph from containers or fgl? |
| 2021-08-24 19:34:54 | <Rembane_> | zzz: You could also use Data.Map. |
| 2021-08-24 19:35:12 | <zzz> | Rembane_: how so? |
| 2021-08-24 19:35:41 | → | doyougnu joins (~user@c-73-25-202-122.hsd1.or.comcast.net) |
| 2021-08-24 19:38:11 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-24 19:39:14 | × | qbt quits (~edun@user/edun) (Remote host closed the connection) |
| 2021-08-24 19:39:51 | <monochrom> | Also [] and [[]] |
| 2021-08-24 19:41:26 | <Rembane_> | zzz: A graph has many representations, a mapping between nodes is one of them. OTOH fgl is fun! |
| 2021-08-24 19:43:00 | <monochrom> | The fgl paper would be fun to read. I don't find fgl fun to use. Unless "fun" means many type parameters and many classes. |
| 2021-08-24 19:48:13 | × | alx741 quits (~alx741@181.196.68.94) (Ping timeout: 250 seconds) |
| 2021-08-24 19:49:28 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-08-24 19:51:47 | × | jtomas quits (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Ping timeout: 240 seconds) |
| 2021-08-24 19:53:23 | <zzz> | this seems fun: https://hackage.haskell.org/package/algebraic-graphs |
| 2021-08-24 19:57:09 | × | maroloccio quits (~marolocci@37.100.40.252) (Quit: WeeChat 3.0) |
| 2021-08-24 19:58:56 | × | azeem quits (~azeem@176.201.15.223) (Ping timeout: 250 seconds) |
| 2021-08-24 19:59:45 | → | azeem joins (~azeem@176.201.15.223) |
| 2021-08-24 20:00:30 | × | slack1256 quits (~slack1256@191.125.33.180) (Remote host closed the connection) |
| 2021-08-24 20:01:13 | → | alx741 joins (~alx741@186.178.108.43) |
| 2021-08-24 20:03:43 | → | jtomas joins (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) |
| 2021-08-24 20:05:26 | × | juhp quits (~juhp@128.106.188.220) (Ping timeout: 250 seconds) |
| 2021-08-24 20:05:34 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-08-24 20:05:53 | × | oxide quits (~lambda@user/oxide) (Quit: oxide) |
| 2021-08-24 20:07:29 | × | Guest1613 quits (~chris@81.96.113.213) (Ping timeout: 248 seconds) |
| 2021-08-24 20:08:09 | → | juhp joins (~juhp@128.106.188.220) |
| 2021-08-24 20:08:38 | × | mrmonday quits (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Quit: .) |
| 2021-08-24 20:08:49 | → | mrmonday joins (robert@2a01:7e00::f03c:91ff:fe24:1bd) |
| 2021-08-24 20:13:20 | → | talismanick joins (~user@2601:644:8500:8350::cc04) |
| 2021-08-24 20:17:47 | × | azeem quits (~azeem@176.201.15.223) (Ping timeout: 240 seconds) |
| 2021-08-24 20:18:27 | → | azeem joins (~azeem@176.201.15.223) |
| 2021-08-24 20:19:51 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 250 seconds) |
| 2021-08-24 20:21:43 | → | meriadoc joins (~meriadoc@097-086-004-112.res.spectrum.com) |
| 2021-08-24 20:22:23 | ← | meriadoc parts (~meriadoc@097-086-004-112.res.spectrum.com) (WeeChat 2.3) |
| 2021-08-24 20:22:55 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:a8c1:f34:41fc:ef3d) |
| 2021-08-24 20:25:08 | × | dhouthoo quits (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.2) |
| 2021-08-24 20:27:13 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:a8c1:f34:41fc:ef3d) (Ping timeout: 250 seconds) |
| 2021-08-24 20:29:02 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-24 20:31:20 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-24 20:33:10 | × | Sinbad quits (~Sinbad@user/sinbad) (Quit: WeeChat 3.2) |
| 2021-08-24 20:33:28 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-24 20:36:19 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:a8c1:f34:41fc:ef3d) |
| 2021-08-24 20:44:33 | × | azeem quits (~azeem@176.201.15.223) (Ping timeout: 250 seconds) |
| 2021-08-24 20:48:31 | × | aman quits (~aman@user/aman) (Quit: aman) |
| 2021-08-24 20:49:23 | → | azeem joins (~azeem@176.201.15.223) |
| 2021-08-24 20:51:48 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 250 seconds) |
| 2021-08-24 20:52:10 | × | mcfilib quits (sid302703@user/mcfilib) () |
| 2021-08-24 20:52:25 | → | mcfilib joins (sid302703@user/mcfilib) |
| 2021-08-24 20:54:31 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 250 seconds) |
| 2021-08-24 20:58:05 | × | scav quits (sid309693@id-309693.brockwell.irccloud.com) () |
| 2021-08-24 20:58:20 | → | scav joins (sid309693@id-309693.helmsley.irccloud.com) |
| 2021-08-24 20:58:36 | → | MQ-17J joins (~MQ-17J@2607:fb90:888c:3321:7349:4005:9638:7e44) |
| 2021-08-24 21:00:33 | → | acidjnk_new3 joins (~acidjnk@p200300d0c72b9534e4a445cd6b407eb5.dip0.t-ipconnect.de) |
| 2021-08-24 21:01:15 | × | MQ-17J quits (~MQ-17J@2607:fb90:888c:3321:7349:4005:9638:7e44) (Read error: Connection reset by peer) |
| 2021-08-24 21:01:21 | × | epolanski quits (uid312403@id-312403.brockwell.irccloud.com) () |
| 2021-08-24 21:01:36 | → | epolanski joins (uid312403@id-312403.helmsley.irccloud.com) |
| 2021-08-24 21:02:44 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-24 21:03:26 | × | gregberns__ quits (sid315709@id-315709.brockwell.irccloud.com) () |
| 2021-08-24 21:03:40 | → | gregberns__ joins (sid315709@id-315709.helmsley.irccloud.com) |
| 2021-08-24 21:04:27 | × | d0ku quits (~d0ku@178.43.56.75.ipv4.supernova.orange.pl) (Ping timeout: 240 seconds) |
| 2021-08-24 21:05:11 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2021-08-24 21:05:16 | × | remedan quits (~remedan@balak.me) (Quit: Bye!) |
| 2021-08-24 21:05:57 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-24 21:08:49 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:a8c1:f34:41fc:ef3d) (Remote host closed the connection) |
| 2021-08-24 21:09:49 | → | remedan joins (~remedan@balak.me) |
| 2021-08-24 21:10:21 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-24 21:10:45 | × | remedan quits (~remedan@balak.me) (Client Quit) |
| 2021-08-24 21:10:58 | × | Tuplanolla quits (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-08-24 21:13:02 | → | remedan joins (~remedan@balak.me) |
| 2021-08-24 21:15:13 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-24 21:15:19 | × | ubert quits (~Thunderbi@178.165.204.112.wireless.dyn.drei.com) (Ping timeout: 250 seconds) |
| 2021-08-24 21:18:57 | × | Natch quits (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (Ping timeout: 248 seconds) |
| 2021-08-24 21:23:27 | <nshepperd> | i need to send in a patch to that package |
| 2021-08-24 21:23:45 | <nshepperd> | The documented complexity for 'vertexCount :: AdjacencyIntMap -> Int' is wrong |
| 2021-08-24 21:23:47 | × | azeem quits (~azeem@176.201.15.223) (Ping timeout: 240 seconds) |
| 2021-08-24 21:24:16 | → | azeem joins (~azeem@176.201.15.223) |
| 2021-08-24 21:24:49 | <nshepperd> | because IntMap.size is o(n) |
| 2021-08-24 21:30:40 | × | jespada quits (~jespada@90.254.245.194) (Ping timeout: 252 seconds) |
| 2021-08-24 21:30:55 | × | azeem quits (~azeem@176.201.15.223) (Ping timeout: 250 seconds) |
| 2021-08-24 21:31:07 | × | remedan quits (~remedan@balak.me) (Quit: Bye!) |
| 2021-08-24 21:32:07 | → | azeem joins (~azeem@176.201.15.223) |
| 2021-08-24 21:32:28 | × | parisienne quits (sid383587@id-383587.brockwell.irccloud.com) () |
| 2021-08-24 21:32:42 | → | parisienne joins (sid383587@id-383587.helmsley.irccloud.com) |
| 2021-08-24 21:33:20 | × | NiKaN quits (sid385034@id-385034.brockwell.irccloud.com) () |
| 2021-08-24 21:33:40 | → | jespada joins (~jespada@90.254.245.194) |
| 2021-08-24 21:34:05 | → | NiKaN joins (sid385034@id-385034.helmsley.irccloud.com) |
| 2021-08-24 21:34:14 | → | oldsk00l joins (~znc@ec2-3-120-38-228.eu-central-1.compute.amazonaws.com) |
| 2021-08-24 21:34:59 | × | gaze___ quits (sid387101@id-387101.brockwell.irccloud.com) () |
| 2021-08-24 21:35:13 | → | gaze___ joins (sid387101@id-387101.helmsley.irccloud.com) |
| 2021-08-24 21:37:13 | → | remedan joins (~remedan@balak.me) |
| 2021-08-24 21:40:45 | → | mouseghost joins (~draco@user/mouseghost) |
| 2021-08-24 21:42:07 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 2021-08-24 21:43:00 | × | remedan quits (~remedan@balak.me) (Quit: Bye!) |
| 2021-08-24 21:45:04 | → | remedan joins (~remedan@balak.me) |
| 2021-08-24 21:47:42 | × | doyougnu quits (~user@c-73-25-202-122.hsd1.or.comcast.net) (Remote host closed the connection) |
| 2021-08-24 21:49:22 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
All times are in UTC.