Logs: liberachat/#haskell
| 2021-07-03 10:36:21 | × | otulp quits (~otulp@ti0187q162-2423.bb.online.no) (Quit: *POOF*) |
| 2021-07-03 10:36:42 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:5061:15ea:118b:e58d) (Ping timeout: 240 seconds) |
| 2021-07-03 10:37:03 | → | img joins (~img@user/img) |
| 2021-07-03 10:38:02 | × | fabfianda quits (~fabfianda@mob-5-90-128-19.net.vodafone.it) (Ping timeout: 265 seconds) |
| 2021-07-03 10:38:55 | → | fabfianda joins (~fabfianda@37.183.255.57) |
| 2021-07-03 10:41:23 | → | acidjnk_new joins (~acidjnk@p200300d0c72b955875652e86484602de.dip0.t-ipconnect.de) |
| 2021-07-03 10:41:43 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-07-03 10:43:36 | × | acidjnk quits (~acidjnk@p200300d0c72b9558d4454a820777d511.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2021-07-03 10:44:24 | × | shredder quits (~user@user/shredder) (Quit: quitting) |
| 2021-07-03 10:45:32 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 2021-07-03 10:45:55 | → | stevenxl joins (~stevenlei@68.235.43.109) |
| 2021-07-03 10:46:44 | → | shredder joins (~user@user/shredder) |
| 2021-07-03 10:48:16 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-03 10:48:18 | × | xff0x quits (~xff0x@2001:1a81:52ae:a300:3a82:123e:2fdc:d4a3) (Ping timeout: 240 seconds) |
| 2021-07-03 10:48:56 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-03 10:49:32 | → | xff0x joins (~xff0x@2001:1a81:52ae:a300:ff7c:fc0:389a:fc47) |
| 2021-07-03 10:50:36 | × | stevenxl quits (~stevenlei@68.235.43.109) (Ping timeout: 265 seconds) |
| 2021-07-03 10:53:08 | × | azeem quits (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-07-03 10:53:20 | × | chris_ quits (~chris@81.96.113.213) (Ping timeout: 258 seconds) |
| 2021-07-03 10:54:02 | <Las[m]> | Is it possible to share the GHC process for several GHCi's when using -fexternal-interpreter? |
| 2021-07-03 10:54:53 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-07-03 10:55:05 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-07-03 10:57:56 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-03 11:00:36 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-07-03 11:03:07 | → | pricly_yellow joins (~pricly_ye@2a01:620:c04d:b00::339) |
| 2021-07-03 11:04:40 | × | rizary_andika_ quits (sid220347@id-220347.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-03 11:05:39 | → | xsperry joins (~as@user/xsperry) |
| 2021-07-03 11:06:00 | → | azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-03 11:06:27 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-03 11:10:32 | × | cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2021-07-03 11:10:32 | × | azeem quits (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-07-03 11:10:32 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-07-03 11:10:59 | → | cheater joins (~Username@user/cheater) |
| 2021-07-03 11:11:36 | → | azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-03 11:15:24 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-03 11:15:54 | × | acidjnk_new quits (~acidjnk@p200300d0c72b955875652e86484602de.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2021-07-03 11:20:55 | → | PPK joins (~mark@2a00:23c6:d280:3700:572a:c2f0:ddc5:b769) |
| 2021-07-03 11:23:11 | <PPK> | Hey. So I found generic-lens and it's great; but if I have a nested hierarchy (e.g. data A = A B C; data C = C; data B = B D E) then a ^. typed @B is fine, a ^. typed @C is fine, toListOf (types @D) a is fine (but a traversal..), but I can't do a nested lens - a ^. typed @D does not compile..I think uniplate has the same problem that it's all traversals rather than compile time. Any obvious fix? |
| 2021-07-03 11:29:56 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-03 11:30:15 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-03 11:32:42 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-07-03 11:33:39 | → | ubert joins (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) |
| 2021-07-03 11:34:18 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2021-07-03 11:35:14 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-03 11:35:20 | → | jess joins (~jess@libera/staff/jess) |
| 2021-07-03 11:36:15 | → | arjun joins (~user@user/arjun) |
| 2021-07-03 11:38:09 | × | fef quits (~thedawn@user/thedawn) (Ping timeout: 244 seconds) |
| 2021-07-03 11:42:33 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-03 11:43:07 | × | fendor quits (~fendor@77.119.220.92.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-07-03 11:43:24 | → | nick8325 joins (~nick@2001:9b1:26f9:3e00:b7ea:ac95:e18:4c1d) |
| 2021-07-03 11:43:48 | × | ubert quits (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2021-07-03 11:45:28 | × | boxscape_ quits (~boxscape_@p4ff0ba7a.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2021-07-03 11:47:30 | → | fendor joins (~fendor@77.119.220.92.wireless.dyn.drei.com) |
| 2021-07-03 11:47:36 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-07-03 11:58:26 | → | acidjnk_new joins (~acidjnk@p200300d0c72b953339f341015709cf67.dip0.t-ipconnect.de) |
| 2021-07-03 12:02:22 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-07-03 12:02:52 | → | neo1 joins (~neo3@cpe-292712.ip.primehome.com) |
| 2021-07-03 12:04:18 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-07-03 12:04:44 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-03 12:07:17 | <maerwald> | can you force autoreconf for a dependency? |
| 2021-07-03 12:11:07 | → | jippiedoe joins (~david@2a02-a44c-e14e-1-2351-c955-5b2d-b577.fixed6.kpn.net) |
| 2021-07-03 12:14:31 | → | warnz joins (~warnz@104-55-100-55.lightspeed.lsvlky.sbcglobal.net) |
| 2021-07-03 12:17:06 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-07-03 12:19:16 | × | warnz quits (~warnz@104-55-100-55.lightspeed.lsvlky.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-07-03 12:19:46 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-03 12:19:49 | → | cheater1__ joins (~Username@user/cheater) |
| 2021-07-03 12:19:54 | × | cheater quits (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 2021-07-03 12:20:01 | cheater1__ | is now known as cheater |
| 2021-07-03 12:21:40 | × | dunkeln__ quits (~dunkeln@188.70.10.165) (Ping timeout: 252 seconds) |
| 2021-07-03 12:28:24 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-07-03 12:31:23 | × | Guest9 quits (~Guest9@103.249.233.78) (Quit: Connection closed) |
| 2021-07-03 12:31:31 | → | xwx joins (~george@user/george) |
| 2021-07-03 12:31:39 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-07-03 12:34:16 | <juri_> | how do i find the closest value less than X that is divisible by Y? |
| 2021-07-03 12:34:26 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:5061:15ea:118b:e58d) |
| 2021-07-03 12:34:30 | <juri_> | difficulty: Double. |
| 2021-07-03 12:35:53 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-07-03 12:36:14 | <juri_> | right now i'm using head (filter (> X) [0,Y..]) |
| 2021-07-03 12:38:43 | × | maerwald quits (~maerwald@mail.hasufell.de) (Changing host) |
| 2021-07-03 12:38:43 | → | maerwald joins (~maerwald@user/maerwald) |
| 2021-07-03 12:39:11 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:5061:15ea:118b:e58d) (Ping timeout: 256 seconds) |
| 2021-07-03 12:42:24 | → | fef joins (~thedawn@user/thedawn) |
| 2021-07-03 12:42:29 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-03 12:45:34 | → | tzar_bomba joins (~tzar_bomb@78-56-41-78.static.zebra.lt) |
| 2021-07-03 12:45:54 | → | chomwitt joins (~Pitsikoko@athedsl-16082.home.otenet.gr) |
| 2021-07-03 12:46:01 | × | tzar_bomba quits (~tzar_bomb@78-56-41-78.static.zebra.lt) (Changing host) |
| 2021-07-03 12:46:01 | → | tzar_bomba joins (~tzar_bomb@user/tzar-bomba/x-5218718) |
| 2021-07-03 12:47:53 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-07-03 12:48:20 | <xerox> | :t find |
| 2021-07-03 12:48:21 | <lambdabot> | Foldable t => (a -> Bool) -> t a -> Maybe a |
| 2021-07-03 12:48:40 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-07-03 12:49:30 | × | cheater quits (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2021-07-03 12:49:48 | → | cheater joins (~Username@user/cheater) |
| 2021-07-03 12:50:17 | × | fendor quits (~fendor@77.119.220.92.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2021-07-03 12:50:33 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Client Quit) |
| 2021-07-03 12:50:49 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-07-03 12:52:53 | × | dyeplexer quits (~dyeplexer@user/dyeplexer) (Ping timeout: 265 seconds) |
| 2021-07-03 12:55:06 | → | ubert joins (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) |
| 2021-07-03 12:55:38 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-07-03 12:56:59 | <tomsmeding> | maerwald: was doing other stuff, sorry :p |
All times are in UTC.