Newest at the top
| 2025-01-10 10:56:58 +0100 | <alist> | however, i'm confused, because i thought the relations we are quantifying over are inductively built from the constant types, which are represented as identity relations |
| 2025-01-10 10:55:55 +0100 | <alist> | in the parametricity demonstration in section 3.1 on page 8, the author uses their trick of specializing the quantified relations to the case of set-theoretic functions |
| 2025-01-10 10:54:24 +0100 | <alist> | i have another question about the paper "theorems for free" |
| 2025-01-10 10:52:49 +0100 | alist | (~alist@user/alist) alist |
| 2025-01-10 10:51:08 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-01-10 10:48:00 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-01-10 10:47:33 +0100 | forell | (~forell@user/forell) forell |
| 2025-01-10 10:45:01 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2025-01-10 10:44:40 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-01-10 10:42:23 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-10 10:39:00 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-01-10 10:35:44 +0100 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 252 seconds) |
| 2025-01-10 10:27:29 +0100 | Angelz | (Angelz@Angelz.oddprotocol.org) |
| 2025-01-10 10:26:28 +0100 | mange | (~user@user/mange) mange |
| 2025-01-10 10:23:21 +0100 | Angelz | (Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973) (Remote host closed the connection) |
| 2025-01-10 10:23:09 +0100 | Angelz | (Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973) |
| 2025-01-10 10:21:31 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-10 10:19:57 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Ping timeout: 252 seconds) |
| 2025-01-10 10:17:58 +0100 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) (Remote host closed the connection) |
| 2025-01-10 10:16:30 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-10 10:11:40 +0100 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) |
| 2025-01-10 10:10:51 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-10 10:09:28 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-01-10 10:07:16 +0100 | Angelz | (Angelz@Angelz.oddprotocol.org) (Remote host closed the connection) |
| 2025-01-10 09:56:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 09:51:25 +0100 | Angelz | (Angelz@Angelz.oddprotocol.org) |
| 2025-01-10 09:48:12 +0100 | Angelz | (Angelz@user/angelz) (Remote host closed the connection) |
| 2025-01-10 09:46:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-10 09:39:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 09:38:07 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-10 09:37:00 +0100 | ionut_f | (~ionut_f@user/ionut-f:27329) (Remote host closed the connection) |
| 2025-01-10 09:30:04 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-01-10 09:29:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-10 09:24:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 09:13:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-10 09:06:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 09:05:56 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-01-10 09:05:43 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-10 09:05:27 +0100 | vpan | (~vpan@212.117.1.172) |
| 2025-01-10 09:04:19 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2025-01-10 09:02:47 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
| 2025-01-10 09:00:44 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-10 09:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-10 08:55:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-10 08:55:51 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-01-10 08:51:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 08:50:52 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 252 seconds) |
| 2025-01-10 08:47:23 +0100 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2025-01-10 08:45:45 +0100 | forell | (~forell@user/forell) (Ping timeout: 276 seconds) |
| 2025-01-10 08:43:23 +0100 | housemate | (~housemate@pa49-183-116-80.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |