Logs: liberachat/#xmonad
| 2021-06-03 18:41:34 | <Solid> | I'll try to take a look this weekend |
| 2021-06-03 18:41:54 | <Solid> | also, you should really just use nix :> |
| 2021-06-03 18:43:10 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 272 seconds) |
| 2021-06-03 18:45:05 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-06-03 18:51:35 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.1) |
| 2021-06-03 20:32:41 | × | wonko quits (~wjc@62.115.229.50) (Ping timeout: 244 seconds) |
| 2021-06-03 20:47:22 | → | Guest39 joins (~Guest39@124.40.244.150) |
| 2021-06-03 20:50:12 | × | Guest39 quits (~Guest39@124.40.244.150) (Client Quit) |
| 2021-06-03 20:53:44 | → | SimPilotAdamT joins (~SimPilotA@cpc146986-walt26-2-0-cust427.13-2.cable.virginm.net) |
| 2021-06-03 21:00:34 | × | SimPilotAdamT quits (~SimPilotA@cpc146986-walt26-2-0-cust427.13-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2021-06-03 21:02:15 | → | SimPilotAdamT joins (~SimPilotA@cpc146986-walt26-2-0-cust427.13-2.cable.virginm.net) |
| 2021-06-03 21:07:22 | × | SimPilotAdamT quits (~SimPilotA@cpc146986-walt26-2-0-cust427.13-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2021-06-03 21:13:37 | → | SimPilotAdamT joins (~SimPilotA@cpc146986-walt26-2-0-cust427.13-2.cable.virginm.net) |
| 2021-06-03 21:13:39 | × | SimPilotAdamT quits (~SimPilotA@cpc146986-walt26-2-0-cust427.13-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2021-06-03 21:17:27 | → | SimPilotAdamT joins (~SimPilotA@cpc146986-walt26-2-0-cust427.13-2.cable.virginm.net) |
| 2021-06-03 21:17:46 | × | SimPilotAdamT quits (~SimPilotA@cpc146986-walt26-2-0-cust427.13-2.cable.virginm.net) (Client Quit) |
| 2021-06-03 21:19:35 | × | seschwar quits (~seschwar@user/seschwar) (Quit: :wq) |
| 2021-06-03 21:50:27 | × | mc47 quits (~yecinem@89.246.239.190) (Remote host closed the connection) |
| 2021-06-03 22:02:03 | → | Natch joins (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) |
| 2021-06-03 22:24:59 | → | r0cket2510[m] joins (~r0cket251@2001:470:69fc:105::e00) |
| 2021-06-03 22:29:19 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2021-06-03 22:37:16 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-06-03 23:39:36 | × | themainman quits (~themainma@user/themainman) (Quit: WeeChat 3.1) |
| 2021-06-03 23:50:39 | × | Roos[m] quits (~roosember@2001:470:69fc:105::a56) (Quit: node-irc says goodbye) |
| 2021-06-03 23:50:56 | → | Roos[m] joins (~roosember@2001:470:69fc:105::a56) |
| 2021-06-03 23:52:46 | × | tremon quits (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2021-06-03 23:52:58 | Roos[m] | is now known as Orbstheorem |
| 2021-06-03 23:56:54 | × | Orbstheorem quits (~roosember@2001:470:69fc:105::a56) (Quit: node-irc says goodbye) |
| 2021-06-03 23:57:10 | → | Orbstheorem joins (~orbstheor@2001:470:69fc:105::a56) |
| 2021-06-04 00:00:46 | × | Orbstheorem quits (~orbstheor@2001:470:69fc:105::a56) (Client Quit) |
| 2021-06-04 00:01:00 | → | Orbstheorem joins (~orbstheor@2001:470:69fc:105::a56) |
| 2021-06-04 00:01:27 | × | Orbstheorem quits (~orbstheor@2001:470:69fc:105::a56) (Client Quit) |
| 2021-06-04 00:01:43 | → | Orbstheorem joins (~orbstheor@2001:470:69fc:105::a56) |
| 2021-06-04 00:17:35 | → | jg joins (~jrgiacone@47.149.222.98) |
| 2021-06-04 00:17:49 | <jg> | how goes it :) how was y'alls day? |
| 2021-06-04 00:19:28 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-06-04 00:19:42 | → | werneta joins (~werneta@128.149.243.107) |
| 2021-06-04 00:24:30 | × | werneta quits (~werneta@128.149.243.107) (Ping timeout: 245 seconds) |
| 2021-06-04 00:25:56 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-06-04 00:52:56 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Quit: Leaving) |
| 2021-06-04 01:02:09 | → | geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-06-04 01:25:23 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 272 seconds) |
| 2021-06-04 02:05:52 | × | jg quits (~jrgiacone@47.149.222.98) (Ping timeout: 272 seconds) |
| 2021-06-04 02:29:06 | × | td_ quits (~td@muedsl-82-207-238-081.citykom.de) (Ping timeout: 264 seconds) |
| 2021-06-04 02:30:36 | → | td_ joins (~td@94.134.91.156) |
| 2021-06-04 02:47:02 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-06-04 02:47:15 | → | werneta joins (~werneta@128.149.243.107) |
| 2021-06-04 03:01:10 | → | jg joins (~jrgiacone@47.149.222.98) |
| 2021-06-04 03:01:10 | <jg> | yo |
| 2021-06-04 03:01:14 | <jg> | whats good |
| 2021-06-04 03:01:23 | × | jg quits (~jrgiacone@47.149.222.98) (Client Quit) |
| 2021-06-04 03:22:12 | <electr0n> | 'lo |
| 2021-06-04 03:27:34 | × | werneta quits (~werneta@128.149.243.107) (Ping timeout: 272 seconds) |
| 2021-06-04 03:29:16 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-06-04 04:32:40 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2021-06-04 04:32:54 | → | werneta joins (~werneta@128.149.243.107) |
| 2021-06-04 04:44:05 | × | werneta quits (~werneta@128.149.243.107) (Ping timeout: 245 seconds) |
| 2021-06-04 04:46:14 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-06-04 05:03:40 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2021-06-04 05:03:54 | → | werneta joins (~werneta@128.149.243.107) |
| 2021-06-04 05:36:05 | × | werneta quits (~werneta@128.149.243.107) (Ping timeout: 252 seconds) |
| 2021-06-04 05:37:57 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-06-04 05:39:48 | Solid | is currently debating whether he should doxx himself in MAINTIANERS.md |
| 2021-06-04 06:12:54 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2021-06-04 06:13:08 | → | werneta joins (~werneta@128.149.243.107) |
| 2021-06-04 06:17:59 | × | werneta quits (~werneta@128.149.243.107) (Ping timeout: 272 seconds) |
| 2021-06-04 06:19:24 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-06-04 06:33:50 | → | wonko joins (~wjc@62.115.229.50) |
| 2021-06-04 06:56:04 | <Solid> | sigh, I think this Choose business is hopeless |
| 2021-06-04 06:57:08 | <Solid> | the problem is that (|||)'s signature really is `forall l r a. l a -> r a -> Choose l r a` and so what we would acutally need to do for a `Gen (Choose l r a)` or similar is to generate an arbitrary type that we could feed to `generate` |
| 2021-06-04 06:57:19 | <Solid> | which is a thing quickcheck can't do |
| 2021-06-04 06:57:26 | <Solid> | :/ |
| 2021-06-04 07:07:26 | × | wonko quits (~wjc@62.115.229.50) (Changing host) |
| 2021-06-04 07:07:26 | → | wonko joins (~wjc@user/wonko) |
| 2021-06-04 07:34:19 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-06-04 07:58:57 | <liskin> | You can just define a new type for binary trees and generate those and convert to Choose |
| 2021-06-04 07:59:42 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2021-06-04 07:59:56 | → | werneta joins (~werneta@128.149.243.107) |
| 2021-06-04 08:00:22 | <liskin> | There will be existential and/or dynamic types though |
| 2021-06-04 08:00:35 | <liskin> | I didn't think of that before |
| 2021-06-04 08:03:02 | <Solid> | yeah I think with a conversion function you run into the same issues |
| 2021-06-04 08:05:53 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.1) |
| 2021-06-04 08:13:16 | → | frosch03 joins (~user@2a02:8070:7ab:1b00:397e:4353:be62:b47b) |
| 2021-06-04 08:21:59 | → | berberman joins (~berberman@user/berberman) |
| 2021-06-04 08:22:57 | × | berberman_ quits (~berberman@user/berberman) (Ping timeout: 272 seconds) |
| 2021-06-04 08:27:46 | × | wonko quits (~wjc@user/wonko) (Ping timeout: 272 seconds) |
| 2021-06-04 08:36:35 | × | werneta quits (~werneta@128.149.243.107) (Ping timeout: 245 seconds) |
| 2021-06-04 08:38:42 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-06-04 08:48:54 | → | Guest7213 joins (~Guest7213@78.32.70.245) |
| 2021-06-04 08:56:59 | → | mc47 joins (~yecinem@89.246.239.190) |
| 2021-06-04 09:16:22 | × | frosch03 quits (~user@2a02:8070:7ab:1b00:397e:4353:be62:b47b) (Ping timeout: 265 seconds) |
| 2021-06-04 09:17:25 | → | cyr4x3 joins (~cyr4x3@139.47.116.53) |
| 2021-06-04 09:17:44 | × | cyr4x3 quits (~cyr4x3@139.47.116.53) (Client Quit) |
| 2021-06-04 09:19:09 | → | wonko joins (~wjc@62.115.229.50) |
| 2021-06-04 09:59:01 | → | themainman joins (~themainma@user/themainman) |
| 2021-06-04 11:49:40 | → | ft joins (~ft@shell.chaostreff-dortmund.de) |
| 2021-06-04 11:52:19 | × | ft quits (~ft@shell.chaostreff-dortmund.de) (Client Quit) |
| 2021-06-04 11:52:33 | → | ft joins (~ft@shell.chaostreff-dortmund.de) |
| 2021-06-04 12:06:05 | × | ft quits (~ft@shell.chaostreff-dortmund.de) (Quit: leaving) |
| 2021-06-04 12:06:14 | → | ft joins (~ft@shell.chaostreff-dortmund.de) |
All times are in UTC.