| 2024-08-23 00:01:13 +0200 | AlexNoo | (~AlexNoo@5.139.232.94) |
| 2024-08-23 00:01:15 +0200 | AlexZenon | (~alzenon@178.34.151.160) (Ping timeout: 246 seconds) |
| 2024-08-23 00:10:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 00:11:09 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-08-23 00:14:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 00:16:41 +0200 | mynameistito | (~mynameist@2404:4402:33ef:7000:88eb:734d:eebf:18b7) |
| 2024-08-23 00:24:14 +0200 | mynameistito | (~mynameist@2404:4402:33ef:7000:88eb:734d:eebf:18b7) (Quit: Client closed) |
| 2024-08-23 00:25:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 00:28:20 +0200 | <haskellbridge> | <thirdofmay18081814goya> turns out proving a recursive function diverges is an absolute pain, you need heavy domain theory |
| 2024-08-23 00:30:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-08-23 00:30:48 +0200 | AlexZenon | (~alzenon@5.139.232.94) |
| 2024-08-23 00:38:00 +0200 | esnos | (~user@176.106.34.161) (Remote host closed the connection) |
| 2024-08-23 00:41:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 00:42:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-23 00:44:20 +0200 | wroathe | (~wroathe@mobile-166-175-58-245.mycingular.net) |
| 2024-08-23 00:44:21 +0200 | wroathe | (~wroathe@mobile-166-175-58-245.mycingular.net) (Changing host) |
| 2024-08-23 00:44:21 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-23 00:45:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-23 00:54:53 +0200 | spew | (~spew@201.141.102.132) (Remote host closed the connection) |
| 2024-08-23 00:56:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 01:00:23 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330d-60ad-949c-6a68-56ec-56cb.rev.sfr.net) (Ping timeout: 256 seconds) |
| 2024-08-23 01:01:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-23 01:07:33 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-08-23 01:12:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 01:16:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-23 01:20:42 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-08-23 01:27:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 01:32:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-23 01:38:44 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-08-23 01:42:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 01:43:09 +0200 | pavonia | (~user@user/siracusa) |
| 2024-08-23 01:44:09 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb236432b07e57e26028.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-08-23 01:47:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 01:49:47 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2024-08-23 01:52:33 +0200 | wroathe | (~wroathe@mobile-166-175-58-245.mycingular.net) |
| 2024-08-23 01:52:33 +0200 | wroathe | (~wroathe@mobile-166-175-58-245.mycingular.net) (Changing host) |
| 2024-08-23 01:52:33 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-23 01:58:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 02:02:50 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-08-23 02:07:29 +0200 | <monochrom> | should also holds for proving convergence :) |
| 2024-08-23 02:09:12 +0200 | <monochrom> | More orthogonally, it is because Haskell is non-strict and so the domains of many types are very non-flat. |
| 2024-08-23 02:13:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 02:18:15 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-08-23 02:18:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-23 02:22:53 +0200 | ZharMeny | (~user@user/ZharMeny) (Ping timeout: 245 seconds) |
| 2024-08-23 02:23:06 +0200 | ZharMeny | (~user@user/ZharMeny) |
| 2024-08-23 02:26:18 +0200 | neuroevolutus | (~neuroevol@37.19.200.161) |
| 2024-08-23 02:26:55 +0200 | Square | (~Square@user/square) |
| 2024-08-23 02:27:42 +0200 | ZharMeny | (~user@user/ZharMeny) (Read error: Connection reset by peer) |
| 2024-08-23 02:27:48 +0200 | ZharMeny` | (~user@user/ZharMeny) |
| 2024-08-23 02:29:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 02:34:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-23 02:35:15 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-08-23 02:36:47 +0200 | califax | (~califax@user/califx) |
| 2024-08-23 02:38:25 +0200 | neuroevolutus | (~neuroevol@37.19.200.161) (Ping timeout: 256 seconds) |
| 2024-08-23 02:38:50 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-08-23 02:44:01 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-23 02:44:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 02:49:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 03:00:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 03:04:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-23 03:15:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 03:19:00 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 246 seconds) |
| 2024-08-23 03:20:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-08-23 03:28:14 +0200 | st_aldini | (~Thunderbi@2605:a601:a07c:a000:3236:4a12:708b:5d23) (Read error: Connection reset by peer) |
| 2024-08-23 03:29:14 +0200 | st_aldini | (~Thunderbi@136.48.22.91) |
| 2024-08-23 03:30:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 03:35:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 03:39:00 +0200 | d3adb5 | (~d3adb5@node-1w7jr9pkhh5kaj61phh2t56eq.ipv6.telus.net) |
| 2024-08-23 03:44:33 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 246 seconds) |
| 2024-08-23 03:44:42 +0200 | bilegeek | (~bilegeek@2600:1008:b091:3f07:8c9c:7c25:b57f:d94) |
| 2024-08-23 03:46:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 03:49:32 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2024-08-23 03:50:43 +0200 | wroathe | (~wroathe@mobile-166-175-58-245.mycingular.net) |
| 2024-08-23 03:50:43 +0200 | wroathe | (~wroathe@mobile-166-175-58-245.mycingular.net) (Changing host) |
| 2024-08-23 03:50:43 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-23 03:50:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-23 03:55:09 +0200 | ZharMeny` | (~user@user/ZharMeny) (Quit: ") |
| 2024-08-23 04:01:50 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 04:06:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-23 04:11:09 +0200 | td_ | (~td@i53870905.versanet.de) (Ping timeout: 246 seconds) |
| 2024-08-23 04:13:11 +0200 | td_ | (~td@i5387091B.versanet.de) |
| 2024-08-23 04:17:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 04:21:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 04:27:48 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a988:bd33:e56:4b1d) (Ping timeout: 276 seconds) |
| 2024-08-23 04:32:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 04:36:31 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-08-23 04:37:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-23 04:40:21 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a988:bd33:e56:4b1d) |
| 2024-08-23 04:48:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 04:52:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-08-23 04:57:22 +0200 | <haskellbridge> | <thirdofmay18081814goya> is there a small lazy functional language with semantics fully specified in some proof assistant/interactive theorem prover? |
| 2024-08-23 05:03:32 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 05:08:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-23 05:18:20 +0200 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2024-08-23 05:18:30 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-08-23 05:18:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 05:20:13 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-08-23 05:24:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-08-23 05:24:57 +0200 | monochrom | (trebla@216.138.220.146) |
| 2024-08-23 05:34:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 05:40:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-23 05:44:56 +0200 | aforemny | (~aforemny@2001:9e8:6cdc:4000:9adf:291d:87b7:5643) |
| 2024-08-23 05:45:57 +0200 | aforemny_ | (~aforemny@2001:9e8:6cfb:6100:1f03:1efe:ee71:8e27) (Ping timeout: 248 seconds) |
| 2024-08-23 05:51:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 05:54:21 +0200 | son0p | (~ff@2800:e2:f80:ee7::a) (Ping timeout: 252 seconds) |
| 2024-08-23 05:56:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-23 06:04:08 +0200 | laravelnewbie | (~laravelne@2400:adc5:471:ef00:88d7:b507:8b4c:9c6b) |
| 2024-08-23 06:06:00 +0200 | laravelnewbie | (~laravelne@2400:adc5:471:ef00:88d7:b507:8b4c:9c6b) (Client Quit) |
| 2024-08-23 06:06:59 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-08-23 06:07:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 06:11:32 +0200 | bilegeek | (~bilegeek@2600:1008:b091:3f07:8c9c:7c25:b57f:d94) (Quit: Leaving) |
| 2024-08-23 06:11:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-23 06:11:40 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 252 seconds) |
| 2024-08-23 06:11:55 +0200 | tomku | (~tomku@user/tomku) |
| 2024-08-23 06:21:17 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2024-08-23 06:21:45 +0200 | michalz | (~michalz@185.246.207.201) |
| 2024-08-23 06:22:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 06:26:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-08-23 06:37:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 06:42:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-23 06:53:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 06:53:47 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-08-23 06:57:54 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Client Quit) |
| 2024-08-23 06:58:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-08-23 07:08:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 07:09:17 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-08-23 07:13:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-23 07:14:38 +0200 | Cale | (~cale@2607:fea8:995f:f126:15c3:35a5:81ac:187c) (Remote host closed the connection) |
| 2024-08-23 07:14:57 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 248 seconds) |
| 2024-08-23 07:15:06 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-08-23 07:15:12 +0200 | tomku | (~tomku@user/tomku) |
| 2024-08-23 07:20:24 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2024-08-23 07:24:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 07:24:31 +0200 | d3adb5 | (~d3adb5@node-1w7jr9pkhh5kaj61phh2t56eq.ipv6.telus.net) (Quit: WeeChat 4.4.1) |
| 2024-08-23 07:29:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-08-23 07:30:04 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-08-23 07:35:31 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-23 07:37:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 07:38:56 +0200 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 252 seconds) |
| 2024-08-23 07:41:40 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-08-23 07:41:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 07:43:57 +0200 | neuroevolutus | (~neuroevol@206.217.206.115) |
| 2024-08-23 07:49:03 +0200 | <haskellbridge> | <Bowuigi> thirdofmay18081814goya if you can't find any, combinatory logic (paired with any kind of bracket abstraction) can be given lazy semantics without much trouble |
| 2024-08-23 07:50:26 +0200 | <haskellbridge> | <Bowuigi> Oh also for proving/disproving divergence you can cheat in a limited number of cases using hylomorphisms and recursive coalgebras |
| 2024-08-23 07:52:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 07:54:15 +0200 | <haskellbridge> | <Bowuigi> Essentially, if you rewrite the function to check into "hylo alg coalg", alg requires all the subproblems to be solved and coalg generates infinite amounts of them, the function diverges |
| 2024-08-23 07:57:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 07:57:44 +0200 | <haskellbridge> | <Bowuigi> And if coalg happens to be a recursive coalgebra (for all algebras alg2, there exists an unique h such that "h = alg2 . fmap h . coalg") and alg is total, the function converges to a value (to know which one, just run it lol) |
| 2024-08-23 08:03:11 +0200 | son0p | (~ff@2800:e2:f80:ee7::1) |
| 2024-08-23 08:07:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 08:12:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-08-23 08:14:57 +0200 | echoreply | (~echoreply@45.32.163.16) (Quit: WeeChat 2.8) |
| 2024-08-23 08:15:51 +0200 | echoreply | (~echoreply@45.32.163.16) |
| 2024-08-23 08:17:23 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2024-08-23 08:17:39 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-23 08:23:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 08:25:12 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2024-08-23 08:26:24 +0200 | ft | (~ft@p4fc2a393.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-08-23 08:27:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 08:28:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 08:31:52 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-08-23 08:31:56 +0200 | CiaoSen | (~Jura@2a05:5800:2ec:fd00:ca4b:d6ff:fec1:99da) |
| 2024-08-23 08:42:01 +0200 | Square2 | (~Square4@user/square) |
| 2024-08-23 08:43:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-23 08:45:12 +0200 | Square | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2024-08-23 08:53:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 08:58:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 09:00:39 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a988:bd33:e56:4b1d) (Quit: xff0x) |
| 2024-08-23 09:03:08 +0200 | xff0x | (~xff0x@2405:6580:b080:900:bed0:9c11:a15b:975d) |
| 2024-08-23 09:03:26 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-23 09:08:22 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb5769877611ebc3e7f6.dip0.t-ipconnect.de) |
| 2024-08-23 09:09:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 09:10:45 +0200 | xff0x | (~xff0x@2405:6580:b080:900:bed0:9c11:a15b:975d) (Quit: xff0x) |
| 2024-08-23 09:14:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 09:17:13 +0200 | akegalj | (~akegalj@20-163.dsl.iskon.hr) |
| 2024-08-23 09:19:14 +0200 | vpan | (~vpan@212.117.1.172) |
| 2024-08-23 09:21:24 +0200 | <akegalj> | Hey. Cooworker asked me yesterday "Is `f . g $ a` always equal to `f $ g $ a`" and my intuition was yes via reasoning `(f . g) a = ((.) f g) a = (\x -> f (g x)) a = f (g a)` . Is this true? |
| 2024-08-23 09:21:56 +0200 | <akegalj> | Later he showed me a contraexample https://play.haskell.org/saved/wByKQ2fk |
| 2024-08-23 09:25:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 09:26:13 +0200 | xff0x | (~xff0x@2405:6580:b080:900:b8f8:ce57:13b6:80b1) |
| 2024-08-23 09:26:51 +0200 | paddymahoney | (~paddymaho@pool-99-250-30-88.cpe.net.cable.rogers.com) (Ping timeout: 246 seconds) |
| 2024-08-23 09:29:38 +0200 | <haskellbridge> | <magic_rb> You got me, i thought theyre equivalent |
| 2024-08-23 09:30:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-23 09:31:46 +0200 | <lortabac> | GHC has a special rule for ($) to make it work with rank-n types |
| 2024-08-23 09:32:13 +0200 | <lortabac> | but not for (.) |
| 2024-08-23 09:32:41 +0200 | neuroevolutus | (~neuroevol@206.217.206.115) (Quit: Client closed) |
| 2024-08-23 09:32:55 +0200 | <c_wraith> | "works" if you turn on -XImpredicativeTypes with a sufficiently new GHC |
| 2024-08-23 09:33:03 +0200 | <c_wraith> | but the monad instance has a type error anyway |
| 2024-08-23 09:39:06 +0200 | <haskellbridge> | <magic_rb> So if i were to reimplement $ myself as $$$ it would break too? |
| 2024-08-23 09:41:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 09:41:25 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2024-08-23 09:41:46 +0200 | <lortabac> | yes you would get the same error |
| 2024-08-23 09:42:15 +0200 | [exa] | (~exa@user/exa/x-3587197) |
| 2024-08-23 09:47:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-08-23 09:55:32 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-08-23 09:57:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 10:01:38 +0200 | ash3en | (~Thunderbi@2a02:3100:7cf1:b400:fcfa:8dfc:a95e:5b4c) |
| 2024-08-23 10:04:20 +0200 | <akegalj> | lortabac: is this rule defined in ghc or in stdlib? |
| 2024-08-23 10:04:43 +0200 | <lortabac> | it's in the compiler |
| 2024-08-23 10:04:50 +0200 | <akegalj> | ty |
| 2024-08-23 10:04:59 +0200 | xff0x | (~xff0x@2405:6580:b080:900:b8f8:ce57:13b6:80b1) (Ping timeout: 260 seconds) |
| 2024-08-23 10:05:09 +0200 | ubert | (~Thunderbi@77.119.163.30.wireless.dyn.drei.com) (Quit: ubert) |
| 2024-08-23 10:05:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-23 10:13:05 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 248 seconds) |
| 2024-08-23 10:13:40 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-08-23 10:14:14 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2024-08-23 10:15:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 10:17:27 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: on the move) |
| 2024-08-23 10:18:48 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-08-23 10:19:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-08-23 10:20:14 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-08-23 10:21:25 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-08-23 10:24:11 +0200 | ash3en | (~Thunderbi@2a02:3100:7cf1:b400:fcfa:8dfc:a95e:5b4c) (Ping timeout: 265 seconds) |
| 2024-08-23 10:28:59 +0200 | ash3en | (~Thunderbi@2a02:3100:7cf1:b400:fcfa:8dfc:a95e:5b4c) |
| 2024-08-23 10:29:13 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-08-23 10:30:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 10:33:41 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-23 10:35:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-23 10:38:03 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3304-2058-2826-7cc6-36e7-07bb.rev.sfr.net) |
| 2024-08-23 10:52:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 10:53:38 +0200 | youthlic1 | (~Thunderbi@user/youthlic) |
| 2024-08-23 10:55:03 +0200 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 246 seconds) |
| 2024-08-23 10:55:04 +0200 | youthlic1 | youthlic |
| 2024-08-23 10:55:35 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-08-23 10:56:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 11:06:48 +0200 | <dminuoso> | akegalj: Its a rather silly hack to make something like `runST $ ...` possible. |
| 2024-08-23 11:07:05 +0200 | <dminuoso> | From old days before the new ImpredicativeTypes. |
| 2024-08-23 11:07:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 11:07:40 +0200 | <dminuoso> | (or not just "something like", but exactly that) |
| 2024-08-23 11:07:51 +0200 | <ncf> | that's not a counterexample. if both terms are not well-typed it doesn't make sense to ask whether they're equal |
| 2024-08-23 11:08:16 +0200 | <ncf> | (well-typed with the same type, i should add) |
| 2024-08-23 11:08:38 +0200 | <dminuoso> | ncf: I think it does make sense to ask the question. If one is well-typed and the other is not, then the question of equality is justified. |
| 2024-08-23 11:08:53 +0200 | <mauke> | don't need ImpredicativeTypes if you have BlockArguments |
| 2024-08-23 11:09:12 +0200 | <dminuoso> | Won't convince me to turn that extension on any time soon |
| 2024-08-23 11:09:20 +0200 | <dminuoso> | I want to keep my money. |
| 2024-08-23 11:11:03 +0200 | youthlic1 | (~Thunderbi@user/youthlic) |
| 2024-08-23 11:11:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 11:12:17 +0200 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 248 seconds) |
| 2024-08-23 11:12:18 +0200 | youthlic1 | youthlic |
| 2024-08-23 11:16:13 +0200 | nek0 | (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 2024-08-23 11:18:55 +0200 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 252 seconds) |
| 2024-08-23 11:22:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 11:25:14 +0200 | <danse-nr3> | err... technically just your currency |
| 2024-08-23 11:26:19 +0200 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2024-08-23 11:26:42 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-08-23 11:28:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-23 11:28:19 +0200 | bliminse | (~bliminse@user/bliminse) |
| 2024-08-23 11:37:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 11:39:33 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3304-2058-2826-7cc6-36e7-07bb.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-23 11:40:34 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3304-2058-51af-0e44-7718-70e1.rev.sfr.net) |
| 2024-08-23 11:42:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-08-23 11:44:11 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3304-2058-51af-0e44-7718-70e1.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-23 11:48:03 +0200 | driib3 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-08-23 11:48:44 +0200 | driib3 | (~driib@vmi931078.contaboserver.net) |
| 2024-08-23 11:51:29 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Read error: Connection reset by peer) |
| 2024-08-23 11:52:19 +0200 | <jackdk> | Is there an extension which allows multiple BlockArguments to a function? We could call it BlockChainArguments |
| 2024-08-23 11:52:20 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-23 11:52:42 +0200 | <jackdk> | actually, ... maybe there are enough of those on the internet already |
| 2024-08-23 11:53:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 11:53:30 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-23 11:55:51 +0200 | dysthesis | (~dysthesis@user/dysthesis) |
| 2024-08-23 11:56:07 +0200 | <int-e> | why do you need another extension for that? |
| 2024-08-23 11:56:41 +0200 | <int-e> | https://paste.tomsmeding.com/289cQIzD |
| 2024-08-23 11:57:03 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
| 2024-08-23 11:57:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-23 11:57:48 +0200 | <jackdk> | Mostly I'm just here to make the Haskell Ă— Blockchain joke |
| 2024-08-23 12:02:47 +0200 | <dminuoso> | Oh that's what brought you to libera? |
| 2024-08-23 12:04:26 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-08-23 12:04:59 +0200 | ZharMeny | (~user@user/ZharMeny) |
| 2024-08-23 12:08:36 +0200 | ZharMeny | (~user@user/ZharMeny) (Read error: Connection reset by peer) |
| 2024-08-23 12:08:41 +0200 | ZharMeny` | (~user@user/ZharMeny) |
| 2024-08-23 12:08:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 12:13:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 12:14:14 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) () |
| 2024-08-23 12:24:32 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
| 2024-08-23 12:25:22 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
| 2024-08-23 12:29:12 +0200 | CiaoSen | (~Jura@2a05:5800:2ec:fd00:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds) |
| 2024-08-23 12:30:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 12:35:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-08-23 12:49:04 +0200 | hgolden | (~hgolden@syn-172-251-233-141.res.spectrum.com) (Remote host closed the connection) |
| 2024-08-23 12:49:44 +0200 | nek0 | (~nek0@user/nek0) |
| 2024-08-23 12:51:23 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:1ee4:1b7c:94a7:8fa7) |
| 2024-08-23 12:54:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 12:54:41 +0200 | MattByName | (~Matthew@user/MattByName) |
| 2024-08-23 12:57:16 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-08-23 12:57:43 +0200 | vishalpaudel | (~vishalpau@user/vishalpaudel) |
| 2024-08-23 12:57:46 +0200 | <vishalpaudel> | hello |
| 2024-08-23 12:58:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 13:03:57 +0200 | ash3en | (~Thunderbi@2a02:3100:7cf1:b400:fcfa:8dfc:a95e:5b4c) (Quit: ash3en) |
| 2024-08-23 13:06:39 +0200 | son0p | (~ff@2800:e2:f80:ee7::1) (Ping timeout: 246 seconds) |
| 2024-08-23 13:09:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 13:14:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-08-23 13:25:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 13:29:09 +0200 | <jackdk> | dminuoso: not really, I've been hanging since the last couple of years of freenode |
| 2024-08-23 13:29:32 +0200 | <jackdk> | But the joke spoke to me for some reason |
| 2024-08-23 13:29:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-08-23 13:36:06 +0200 | ash3en | (~Thunderbi@2a02:3100:7cf1:b400:fcfa:8dfc:a95e:5b4c) |
| 2024-08-23 13:39:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 13:44:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-23 13:46:21 +0200 | <haskellbridge> | <thirdofmay18081814goya> Bowuigi: thanks a lot for the comments! |
| 2024-08-23 13:46:39 +0200 | vishalpaudel | (~vishalpau@user/vishalpaudel) (Quit: Client closed) |
| 2024-08-23 13:47:20 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-08-23 13:48:46 +0200 | img | (~img@user/img) |
| 2024-08-23 13:51:51 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f763:1633:e468:b352) |
| 2024-08-23 13:54:36 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 246 seconds) |
| 2024-08-23 13:55:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 13:58:10 +0200 | tinjamin | (~tinjamin@banshee.h4x0r.space) (Remote host closed the connection) |
| 2024-08-23 13:58:36 +0200 | tinjamin | (~tinjamin@banshee.h4x0r.space) |
| 2024-08-23 13:58:50 +0200 | tinjamin | (~tinjamin@banshee.h4x0r.space) (Remote host closed the connection) |
| 2024-08-23 13:59:57 +0200 | tinjamin | (~tinjamin@banshee.h4x0r.space) |
| 2024-08-23 14:00:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-23 14:05:51 +0200 | dysthesis | (~dysthesis@user/dysthesis) (Ping timeout: 260 seconds) |
| 2024-08-23 14:10:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 14:12:02 +0200 | CiaoSen | (~Jura@2a05:5800:2ec:fd00:ca4b:d6ff:fec1:99da) |
| 2024-08-23 14:15:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 14:20:29 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-23 14:26:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 14:26:34 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-23 14:30:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 14:33:11 +0200 | fluffyballoon | (45ce440a48@2a03:6000:1812:100::e2) () |
| 2024-08-23 14:34:46 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2024-08-23 14:35:45 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Client Quit) |
| 2024-08-23 14:36:31 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-08-23 14:40:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 14:44:24 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-23 14:45:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-08-23 14:48:07 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-08-23 14:54:39 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-08-23 14:55:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-23 14:56:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 15:01:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-08-23 15:03:51 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-23 15:05:03 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-08-23 15:07:58 +0200 | <lxsameer> | is it possible to disable dwarf on a project without recompiling ghc? |
| 2024-08-23 15:09:17 +0200 | youthlic | (~Thunderbi@user/youthlic) (Client Quit) |
| 2024-08-23 15:11:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 15:12:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-23 15:16:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-23 15:27:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 15:29:41 +0200 | ash3en | (~Thunderbi@2a02:3100:7cf1:b400:fcfa:8dfc:a95e:5b4c) (Remote host closed the connection) |
| 2024-08-23 15:31:32 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3304-2058-9844-e554-ba59-a4ec.rev.sfr.net) |
| 2024-08-23 15:31:37 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-08-23 15:31:37 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2024-08-23 15:32:03 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-08-23 15:32:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-08-23 15:32:22 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-08-23 15:34:00 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f763:1633:e468:b352) (Ping timeout: 246 seconds) |
| 2024-08-23 15:37:57 +0200 | son0p | (~ff@2800:e6:4001:8da7:232f:489b:caf3:dc20) |
| 2024-08-23 15:41:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 15:46:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-23 15:52:31 +0200 | dans21526 | (~danse-nr3@user/danse-nr3) |
| 2024-08-23 15:52:49 +0200 | CiaoSen | (~Jura@2a05:5800:2ec:fd00:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 2024-08-23 15:54:33 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Ping timeout: 245 seconds) |
| 2024-08-23 15:55:15 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-23 15:57:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 16:01:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-08-23 16:01:51 +0200 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
| 2024-08-23 16:02:22 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-08-23 16:12:50 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 16:17:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-08-23 16:20:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 16:22:45 +0200 | wroathe | (~wroathe@mobile-166-175-58-245.mycingular.net) |
| 2024-08-23 16:22:45 +0200 | wroathe | (~wroathe@mobile-166-175-58-245.mycingular.net) (Changing host) |
| 2024-08-23 16:22:45 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-23 16:24:52 +0200 | wroathe | (~wroathe@user/wroathe) (Client Quit) |
| 2024-08-23 16:25:40 +0200 | wroathe | (~wroathe@mobile-166-175-58-245.mycingular.net) |
| 2024-08-23 16:25:40 +0200 | wroathe | (~wroathe@mobile-166-175-58-245.mycingular.net) (Changing host) |
| 2024-08-23 16:25:40 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-23 16:26:52 +0200 | wroathe | (~wroathe@user/wroathe) (Client Quit) |
| 2024-08-23 16:29:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-23 16:40:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 16:46:01 +0200 | ephilalethes | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-08-23 16:47:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 16:56:01 +0200 | Xe | (~cadey@perl/impostor/xe) (Quit: WeeChat 4.3.2) |
| 2024-08-23 16:58:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 16:58:24 +0200 | Xe | (~cadey@perl/impostor/xe) |
| 2024-08-23 16:58:51 +0200 | ft | (~ft@p4fc2a393.dip0.t-ipconnect.de) |
| 2024-08-23 17:02:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 17:04:18 +0200 | dans21526 | (~danse-nr3@user/danse-nr3) (Ping timeout: 246 seconds) |
| 2024-08-23 17:06:28 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3304-2058-9844-e554-ba59-a4ec.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-23 17:08:57 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-08-23 17:13:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 17:17:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-08-23 17:26:33 +0200 | ZharMeny` | ZharMeny |
| 2024-08-23 17:28:03 +0200 | <Leary> | akegalj: It is indeed true. That doesn't imply, however, that if one term is well-typed then so is the other---that's a different question entirely. |
| 2024-08-23 17:29:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 17:33:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 17:37:08 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-23 17:40:33 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-08-23 17:41:14 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-08-23 17:44:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 17:46:51 +0200 | visilii | (~visilii@46.61.242.155) (Ping timeout: 252 seconds) |
| 2024-08-23 17:48:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-23 17:49:31 +0200 | visilii | (~visilii@46.61.242.155) |
| 2024-08-23 17:54:43 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-23 17:59:11 +0200 | ephilalethes | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2024-08-23 17:59:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 18:03:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 18:08:07 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-08-23 18:09:58 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 2024-08-23 18:14:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 18:19:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 18:30:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 18:33:25 +0200 | akegalj | (~akegalj@20-163.dsl.iskon.hr) (Quit: leaving) |
| 2024-08-23 18:34:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-23 18:38:29 +0200 | orayn | (~orayn@user/orayn) |
| 2024-08-23 18:40:33 +0200 | ZharMeny | (~user@user/ZharMeny) (Ping timeout: 246 seconds) |
| 2024-08-23 18:44:27 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-08-23 18:45:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 18:50:14 +0200 | ZharMeny | (~user@user/ZharMeny) |
| 2024-08-23 18:50:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-08-23 18:51:48 +0200 | orayn | (~orayn@user/orayn) (Quit: Client closed) |
| 2024-08-23 19:00:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 19:02:35 +0200 | ash3en | (~Thunderbi@2a02:3100:7cf1:b400:fcfa:8dfc:a95e:5b4c) |
| 2024-08-23 19:02:44 +0200 | ash3en | (~Thunderbi@2a02:3100:7cf1:b400:fcfa:8dfc:a95e:5b4c) (Remote host closed the connection) |
| 2024-08-23 19:04:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-23 19:08:49 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-23 19:11:45 +0200 | son0p | (~ff@2800:e6:4001:8da7:232f:489b:caf3:dc20) (Ping timeout: 248 seconds) |
| 2024-08-23 19:15:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 19:18:04 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) () |
| 2024-08-23 19:20:05 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-08-23 19:20:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-08-23 19:31:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 19:33:36 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-08-23 19:36:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-23 19:39:00 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-08-23 19:39:20 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-23 19:43:58 +0200 | VictorHugenay | (~VictorHug@user/VictorHugenay) |
| 2024-08-23 19:46:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 19:50:06 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-08-23 19:50:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-23 19:52:32 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2024-08-23 19:52:49 +0200 | ash3en | (~Thunderbi@2a02:3100:7cf1:b400:fcfa:8dfc:a95e:5b4c) |
| 2024-08-23 19:57:33 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-08-23 19:57:33 +0200 | ChanServ | +v haskellbridge |
| 2024-08-23 19:59:58 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2024-08-23 20:00:09 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-08-23 20:01:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 20:01:50 +0200 | lxsameer | (lxsameer@Serene/lxsameer) |
| 2024-08-23 20:06:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-08-23 20:07:18 +0200 | VictorHugenay | (~VictorHug@user/VictorHugenay) (Quit: Konversation terminated!) |
| 2024-08-23 20:16:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 20:21:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-23 20:30:12 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-08-23 20:32:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 20:37:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-23 20:44:50 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-08-23 20:47:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 20:48:22 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-23 20:51:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 21:02:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 21:06:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-23 21:17:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 21:22:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 21:32:29 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-23 21:33:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 21:33:34 +0200 | ash3en | (~Thunderbi@2a02:3100:7cf1:b400:fcfa:8dfc:a95e:5b4c) (Quit: ash3en) |
| 2024-08-23 21:34:11 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-23 21:35:08 +0200 | ash3en | (~Thunderbi@2a02:3100:7cf1:b400:fcfa:8dfc:a95e:5b4c) |
| 2024-08-23 21:37:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-08-23 21:47:51 +0200 | tabemann_ | (~tabemann@2600:1700:7990:24e0:b08e:d5b0:bdeb:c7fe) (Remote host closed the connection) |
| 2024-08-23 21:48:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 21:48:15 +0200 | tabemann_ | (~tabemann@2600:1700:7990:24e0:87b2:9ddc:bdac:f1c8) |
| 2024-08-23 21:52:32 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-08-23 21:57:36 +0200 | ash3en | (~Thunderbi@2a02:3100:7cf1:b400:fcfa:8dfc:a95e:5b4c) (Quit: ash3en) |
| 2024-08-23 21:59:51 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 252 seconds) |
| 2024-08-23 21:59:59 +0200 | kimiamania2 | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2024-08-23 22:00:12 +0200 | <energizer> | does haskell have a library for making fancy tables like https://gt.rstudio.com/ |
| 2024-08-23 22:00:53 +0200 | lxsameer | (lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds) |
| 2024-08-23 22:01:16 +0200 | kimiamania2 | (~65804703@user/kimiamania) |
| 2024-08-23 22:03:09 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-08-23 22:03:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 22:07:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-23 22:12:44 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-08-23 22:13:35 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2024-08-23 22:17:50 +0200 | pavonia | (~user@user/siracusa) |
| 2024-08-23 22:18:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 22:23:20 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2024-08-23 22:23:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 22:23:30 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-08-23 22:26:35 +0200 | <haskellbridge> | <sm> I wish, that looks great |
| 2024-08-23 22:26:49 +0200 | <haskellbridge> | <sm> But check out tabular |
| 2024-08-23 22:29:10 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2024-08-23 22:32:02 +0200 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Read error: Connection reset by peer) |
| 2024-08-23 22:32:37 +0200 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) |
| 2024-08-23 22:33:22 +0200 | Guest53 | (~Guest53@p200300ea373f9eca1d68d39dd720f016.dip0.t-ipconnect.de) |
| 2024-08-23 22:34:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 22:38:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 22:44:29 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 260 seconds) |
| 2024-08-23 22:45:59 +0200 | Guest53 | (~Guest53@p200300ea373f9eca1d68d39dd720f016.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-08-23 22:49:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 22:54:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-08-23 23:01:16 +0200 | kimiamania2 | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2024-08-23 23:01:37 +0200 | kimiamania2 | (~65804703@user/kimiamania) |
| 2024-08-23 23:05:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 23:07:15 +0200 | <EvanR> | I can hear 10,000 web programmers screaming out at you energizer |
| 2024-08-23 23:07:24 +0200 | <EvanR> | "just use CSS" |
| 2024-08-23 23:08:35 +0200 | <energizer> | i feel like <table> is the way to make a table on the web, but i'm no expert |
| 2024-08-23 23:09:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-23 23:11:05 +0200 | <energizer> | but anyway the the library is backend-independent. you take the data structure and can render the table in html or latex or whatever |
| 2024-08-23 23:11:12 +0200 | bwolf | (c3bc363dd1@2a03:6000:1812:100::180) |
| 2024-08-23 23:12:14 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3304-2058-8d0d-a132-e771-825f.rev.sfr.net) |
| 2024-08-23 23:17:53 +0200 | bilegeek | (~bilegeek@2600:1008:b001:5ba2:7995:67a5:d5c1:d120) |
| 2024-08-23 23:20:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 23:20:58 +0200 | <EvanR> | making tables with <table> is so 1996 |
| 2024-08-23 23:25:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-23 23:28:43 +0200 | michalz | (~michalz@185.246.207.201) (Remote host closed the connection) |
| 2024-08-23 23:30:31 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-23 23:36:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 23:38:10 +0200 | <RussetParrotBear> | All the cool kids these days make their tables with circular SVGs and an infinite series of lines... |
| 2024-08-23 23:38:28 +0200 | <RussetParrotBear> | Embedding tables gets difficult, I hear. |
| 2024-08-23 23:39:52 +0200 | orayn | (~orayn@user/orayn) |
| 2024-08-23 23:41:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-23 23:42:00 +0200 | neuroevolutus | (~neuroevol@206.217.206.95) |
| 2024-08-23 23:51:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-23 23:52:49 +0200 | son0p | (~ff@186.121.35.155) |
| 2024-08-23 23:53:24 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3304-2058-8d0d-a132-e771-825f.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-23 23:54:26 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-08-23 23:54:34 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3304-2058-a0a8-40d5-36f9-bfdb.rev.sfr.net) |
| 2024-08-23 23:56:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-08-23 23:58:08 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3304-2058-a0a8-40d5-36f9-bfdb.rev.sfr.net) (Remote host closed the connection) |