Logs on 2024-08-23 (liberachat/#haskell)
| 00:02:50 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 00:07:29 | <monochrom> | should also holds for proving convergence :) |
| 00:09:12 | <monochrom> | More orthogonally, it is because Haskell is non-strict and so the domains of many types are very non-flat. |
| 00:13:51 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 00:18:15 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 00:18:27 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 00:22:53 | × | ZharMeny quits (~user@user/ZharMeny) (Ping timeout: 245 seconds) |
| 00:23:06 | → | ZharMeny joins (~user@user/ZharMeny) |
| 00:26:18 | → | neuroevolutus joins (~neuroevol@37.19.200.161) |
| 00:26:55 | → | Square joins (~Square@user/square) |
| 00:27:42 | × | ZharMeny quits (~user@user/ZharMeny) (Read error: Connection reset by peer) |
| 00:27:48 | → | ZharMeny` joins (~user@user/ZharMeny) |
| 00:29:16 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 00:34:04 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 00:35:15 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 00:36:47 | → | califax joins (~califax@user/califx) |
| 00:38:25 | × | neuroevolutus quits (~neuroevol@37.19.200.161) (Ping timeout: 256 seconds) |
| 00:38:50 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 00:44:01 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 00:44:42 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 00:49:15 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 01:00:08 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 01:04:49 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 01:15:34 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 01:19:00 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 246 seconds) |
| 01:20:14 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 01:28:14 | × | st_aldini quits (~Thunderbi@2605:a601:a07c:a000:3236:4a12:708b:5d23) (Read error: Connection reset by peer) |
| 01:29:14 | → | st_aldini joins (~Thunderbi@136.48.22.91) |
| 01:30:59 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 01:35:27 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 01:39:00 | → | d3adb5 joins (~d3adb5@node-1w7jr9pkhh5kaj61phh2t56eq.ipv6.telus.net) |
| 01:44:33 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 246 seconds) |
| 01:44:42 | → | bilegeek joins (~bilegeek@2600:1008:b091:3f07:8c9c:7c25:b57f:d94) |
| 01:46:24 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 01:49:32 | × | wroathe quits (~wroathe@user/wroathe) (Quit: leaving) |
| 01:50:43 | → | wroathe joins (~wroathe@mobile-166-175-58-245.mycingular.net) |
| 01:50:43 | × | wroathe quits (~wroathe@mobile-166-175-58-245.mycingular.net) (Changing host) |
| 01:50:43 | → | wroathe joins (~wroathe@user/wroathe) |
| 01:50:51 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 01:55:09 | × | ZharMeny` quits (~user@user/ZharMeny) (Quit: ") |
| 02:01:50 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 02:06:16 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 02:11:09 | × | td_ quits (~td@i53870905.versanet.de) (Ping timeout: 246 seconds) |
| 02:13:11 | → | td_ joins (~td@i5387091B.versanet.de) |
| 02:17:16 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 02:21:39 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 02:27:48 | × | xff0x quits (~xff0x@2405:6580:b080:900:a988:bd33:e56:4b1d) (Ping timeout: 276 seconds) |
| 02:32:41 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 02:36:31 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 02:37:04 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 02:40:21 | → | xff0x joins (~xff0x@2405:6580:b080:900:a988:bd33:e56:4b1d) |
| 02:48:07 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 02:52:28 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 02:57:22 | <haskellbridge> | <thirdofmay18081814goya> is there a small lazy functional language with semantics fully specified in some proof assistant/interactive theorem prover? |
| 03:03:32 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 03:08:14 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 03:18:20 | × | monochrom quits (trebla@216.138.220.146) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 03:18:30 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 03:18:58 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 03:20:13 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 03:24:21 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 03:24:57 | → | monochrom joins (trebla@216.138.220.146) |
| 03:34:23 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 03:40:36 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 03:44:56 | → | aforemny joins (~aforemny@2001:9e8:6cdc:4000:9adf:291d:87b7:5643) |
| 03:45:57 | × | aforemny_ quits (~aforemny@2001:9e8:6cfb:6100:1f03:1efe:ee71:8e27) (Ping timeout: 248 seconds) |
| 03:51:41 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 03:54:21 | × | son0p quits (~ff@2800:e2:f80:ee7::a) (Ping timeout: 252 seconds) |
| 03:56:15 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 04:04:08 | → | laravelnewbie joins (~laravelne@2400:adc5:471:ef00:88d7:b507:8b4c:9c6b) |
| 04:06:00 | × | laravelnewbie quits (~laravelne@2400:adc5:471:ef00:88d7:b507:8b4c:9c6b) (Client Quit) |
| 04:06:59 | → | youthlic joins (~Thunderbi@user/youthlic) |
| 04:07:05 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 04:11:32 | × | bilegeek quits (~bilegeek@2600:1008:b091:3f07:8c9c:7c25:b57f:d94) (Quit: Leaving) |
| 04:11:40 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 04:11:40 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 252 seconds) |
| 04:11:55 | → | tomku joins (~tomku@user/tomku) |
| 04:21:17 | × | wroathe quits (~wroathe@user/wroathe) (Quit: leaving) |
| 04:21:45 | → | michalz joins (~michalz@185.246.207.201) |
| 04:22:30 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 04:26:59 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 04:37:55 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 04:42:34 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 04:53:21 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 04:53:47 | → | oneeyedalien joins (~oneeyedal@user/oneeyedalien) |
| 04:57:54 | × | oneeyedalien quits (~oneeyedal@user/oneeyedalien) (Client Quit) |
| 04:58:36 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 05:08:46 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 05:09:17 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 05:13:33 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 05:14:38 | × | Cale quits (~cale@2607:fea8:995f:f126:15c3:35a5:81ac:187c) (Remote host closed the connection) |
| 05:14:57 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 248 seconds) |
| 05:15:06 | → | euphores joins (~SASL_euph@user/euphores) |
| 05:15:12 | → | tomku joins (~tomku@user/tomku) |
| 05:20:24 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 05:24:11 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 05:24:31 | × | d3adb5 quits (~d3adb5@node-1w7jr9pkhh5kaj61phh2t56eq.ipv6.telus.net) (Quit: WeeChat 4.4.1) |
| 05:29:13 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 05:30:04 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 05:35:31 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 05:37:31 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 05:38:56 | × | youthlic quits (~Thunderbi@user/youthlic) (Ping timeout: 252 seconds) |
| 05:41:40 | → | youthlic joins (~Thunderbi@user/youthlic) |
| 05:41:51 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 05:43:57 | → | neuroevolutus joins (~neuroevol@206.217.206.115) |
| 05:49:03 | <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 |
| 05:50:26 | <haskellbridge> | <Bowuigi> Oh also for proving/disproving divergence you can cheat in a limited number of cases using hylomorphisms and recursive coalgebras |
| 05:52:57 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 05:54:15 | <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 |
| 05:57:15 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 05:57:44 | <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) |
| 06:03:11 | → | son0p joins (~ff@2800:e2:f80:ee7::1) |
| 06:07:40 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 06:12:42 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 06:14:57 | × | echoreply quits (~echoreply@45.32.163.16) (Quit: WeeChat 2.8) |
| 06:15:51 | → | echoreply joins (~echoreply@45.32.163.16) |
| 06:17:23 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 06:17:39 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 06:23:06 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 06:25:12 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 06:26:24 | × | ft quits (~ft@p4fc2a393.dip0.t-ipconnect.de) (Quit: leaving) |
| 06:27:21 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 06:28:08 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 06:31:52 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 06:31:56 | → | CiaoSen joins (~Jura@2a05:5800:2ec:fd00:ca4b:d6ff:fec1:99da) |
| 06:42:01 | → | Square2 joins (~Square4@user/square) |
| 06:43:34 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 06:45:12 | × | Square quits (~Square@user/square) (Ping timeout: 246 seconds) |
| 06:53:54 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 06:58:09 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 07:00:39 | × | xff0x quits (~xff0x@2405:6580:b080:900:a988:bd33:e56:4b1d) (Quit: xff0x) |
| 07:03:08 | → | xff0x joins (~xff0x@2405:6580:b080:900:bed0:9c11:a15b:975d) |
| 07:03:26 | → | danse-nr3 joins (~danse-nr3@user/danse-nr3) |
| 07:08:22 | → | acidjnk joins (~acidjnk@p200300d6e72cfb5769877611ebc3e7f6.dip0.t-ipconnect.de) |
| 07:09:19 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 07:10:45 | × | xff0x quits (~xff0x@2405:6580:b080:900:bed0:9c11:a15b:975d) (Quit: xff0x) |
| 07:14:36 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 07:17:13 | → | akegalj joins (~akegalj@20-163.dsl.iskon.hr) |
| 07:19:14 | → | vpan joins (~vpan@212.117.1.172) |
| 07:21:24 | <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? |
| 07:21:56 | <akegalj> | Later he showed me a contraexample https://play.haskell.org/saved/wByKQ2fk |
| 07:25:49 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 07:26:13 | → | xff0x joins (~xff0x@2405:6580:b080:900:b8f8:ce57:13b6:80b1) |
| 07:26:51 | × | paddymahoney quits (~paddymaho@pool-99-250-30-88.cpe.net.cable.rogers.com) (Ping timeout: 246 seconds) |
| 07:29:38 | <haskellbridge> | <magic_rb> You got me, i thought theyre equivalent |
| 07:30:34 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 07:31:46 | <lortabac> | GHC has a special rule for ($) to make it work with rank-n types |
| 07:32:13 | <lortabac> | but not for (.) |
| 07:32:41 | × | neuroevolutus quits (~neuroevol@206.217.206.115) (Quit: Client closed) |
| 07:32:55 | <c_wraith> | "works" if you turn on -XImpredicativeTypes with a sufficiently new GHC |
| 07:33:03 | <c_wraith> | but the monad instance has a type error anyway |
| 07:39:06 | <haskellbridge> | <magic_rb> So if i were to reimplement $ myself as $$$ it would break too? |
| 07:41:14 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 07:41:25 | → | paddymahoney joins (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 07:41:46 | <lortabac> | yes you would get the same error |
| 07:42:15 | → | [exa] joins (~exa@user/exa/x-3587197) |
| 07:47:36 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 07:55:32 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 07:57:48 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 08:01:38 | → | ash3en joins (~Thunderbi@2a02:3100:7cf1:b400:fcfa:8dfc:a95e:5b4c) |
| 08:04:20 | <akegalj> | lortabac: is this rule defined in ghc or in stdlib? |
| 08:04:43 | <lortabac> | it's in the compiler |
| 08:04:50 | <akegalj> | ty |
| 08:04:59 | × | xff0x quits (~xff0x@2405:6580:b080:900:b8f8:ce57:13b6:80b1) (Ping timeout: 260 seconds) |
| 08:05:09 | × | ubert quits (~Thunderbi@77.119.163.30.wireless.dyn.drei.com) (Quit: ubert) |
| 08:05:16 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 08:13:05 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 248 seconds) |
| 08:13:40 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:14:14 | → | gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 08:15:25 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 08:17:27 | × | danse-nr3 quits (~danse-nr3@user/danse-nr3) (Quit: on the move) |
| 08:18:48 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 08:19:58 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 08:20:14 | → | gmg joins (~user@user/gehmehgeh) |
| 08:21:25 | → | cfricke joins (~cfricke@user/cfricke) |
| 08:24:11 | × | ash3en quits (~Thunderbi@2a02:3100:7cf1:b400:fcfa:8dfc:a95e:5b4c) (Ping timeout: 265 seconds) |
| 08:28:59 | → | ash3en joins (~Thunderbi@2a02:3100:7cf1:b400:fcfa:8dfc:a95e:5b4c) |
| 08:29:13 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:30:51 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 08:33:41 | → | danse-nr3 joins (~danse-nr3@user/danse-nr3) |
| 08:35:54 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 08:38:03 | → | alexherbo2 joins (~alexherbo@2a02-8440-3304-2058-2826-7cc6-36e7-07bb.rev.sfr.net) |
| 08:52:08 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 08:53:38 | → | youthlic1 joins (~Thunderbi@user/youthlic) |
| 08:55:03 | × | youthlic quits (~Thunderbi@user/youthlic) (Ping timeout: 246 seconds) |
| 08:55:04 | youthlic1 | is now known as youthlic |
| 08:55:35 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:56:27 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 09:06:48 | <dminuoso> | akegalj: Its a rather silly hack to make something like `runST $ ...` possible. |
| 09:07:05 | <dminuoso> | From old days before the new ImpredicativeTypes. |
| 09:07:34 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 09:07:40 | <dminuoso> | (or not just "something like", but exactly that) |
| 09:07:51 | <ncf> | that's not a counterexample. if both terms are not well-typed it doesn't make sense to ask whether they're equal |
| 09:08:16 | <ncf> | (well-typed with the same type, i should add) |
| 09:08:38 | <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. |
| 09:08:53 | <mauke> | don't need ImpredicativeTypes if you have BlockArguments |
| 09:09:12 | <dminuoso> | Won't convince me to turn that extension on any time soon |
| 09:09:20 | <dminuoso> | I want to keep my money. |
| 09:11:03 | → | youthlic1 joins (~Thunderbi@user/youthlic) |
| 09:11:51 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 09:12:17 | × | youthlic quits (~Thunderbi@user/youthlic) (Ping timeout: 248 seconds) |
| 09:12:18 | youthlic1 | is now known as youthlic |
| 09:16:13 | × | nek0 quits (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 09:18:55 | × | youthlic quits (~Thunderbi@user/youthlic) (Ping timeout: 252 seconds) |
| 09:22:59 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 09:25:14 | <danse-nr3> | err... technically just your currency |
| 09:26:19 | × | bliminse quits (~bliminse@user/bliminse) (Quit: leaving) |
| 09:26:42 | → | __monty__ joins (~toonn@user/toonn) |
| 09:28:14 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 09:28:19 | → | bliminse joins (~bliminse@user/bliminse) |
| 09:37:55 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 09:39:33 | × | alexherbo2 quits (~alexherbo@2a02-8440-3304-2058-2826-7cc6-36e7-07bb.rev.sfr.net) (Remote host closed the connection) |
| 09:40:34 | → | alexherbo2 joins (~alexherbo@2a02-8440-3304-2058-51af-0e44-7718-70e1.rev.sfr.net) |
| 09:42:26 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 09:44:11 | × | alexherbo2 quits (~alexherbo@2a02-8440-3304-2058-51af-0e44-7718-70e1.rev.sfr.net) (Remote host closed the connection) |
| 09:48:03 | × | driib3 quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 09:48:44 | → | driib3 joins (~driib@vmi931078.contaboserver.net) |
| 09:51:29 | × | danse-nr3 quits (~danse-nr3@user/danse-nr3) (Read error: Connection reset by peer) |
| 09:52:19 | <jackdk> | Is there an extension which allows multiple BlockArguments to a function? We could call it BlockChainArguments |
| 09:52:20 | → | danse-nr3 joins (~danse-nr3@user/danse-nr3) |
| 09:52:42 | <jackdk> | actually, ... maybe there are enough of those on the internet already |
| 09:53:21 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 09:53:30 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 09:55:51 | → | dysthesis joins (~dysthesis@user/dysthesis) |
| 09:56:07 | <int-e> | why do you need another extension for that? |
| 09:56:41 | <int-e> | https://paste.tomsmeding.com/289cQIzD |
| 09:57:03 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 09:57:37 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 09:57:48 | <jackdk> | Mostly I'm just here to make the Haskell × Blockchain joke |
| 10:02:47 | <dminuoso> | Oh that's what brought you to libera? |
| 10:04:26 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 10:04:59 | → | ZharMeny joins (~user@user/ZharMeny) |
| 10:08:36 | × | ZharMeny quits (~user@user/ZharMeny) (Read error: Connection reset by peer) |
| 10:08:41 | → | ZharMeny` joins (~user@user/ZharMeny) |
| 10:08:46 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 10:13:06 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 10:14:14 | × | danse-nr3 quits (~danse-nr3@user/danse-nr3) () |
| 10:24:32 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
| 10:25:22 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 10:29:12 | × | CiaoSen quits (~Jura@2a05:5800:2ec:fd00:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds) |
| 10:30:01 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 10:35:18 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 10:49:04 | × | hgolden quits (~hgolden@syn-172-251-233-141.res.spectrum.com) (Remote host closed the connection) |
| 10:49:44 | → | nek0 joins (~nek0@user/nek0) |
| 10:51:23 | → | hgolden joins (~hgolden@2603:8000:9d00:3ed1:1ee4:1b7c:94a7:8fa7) |
| 10:54:23 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 10:54:41 | → | MattByName joins (~Matthew@user/MattByName) |
| 10:57:16 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 10:57:43 | → | vishalpaudel joins (~vishalpau@user/vishalpaudel) |
| 10:57:46 | <vishalpaudel> | hello |
| 10:58:57 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 11:03:57 | × | ash3en quits (~Thunderbi@2a02:3100:7cf1:b400:fcfa:8dfc:a95e:5b4c) (Quit: ash3en) |
| 11:06:39 | × | son0p quits (~ff@2800:e2:f80:ee7::1) (Ping timeout: 246 seconds) |
| 11:09:48 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 11:14:57 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 11:25:14 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 11:29:09 | <jackdk> | dminuoso: not really, I've been hanging since the last couple of years of freenode |
| 11:29:32 | <jackdk> | But the joke spoke to me for some reason |
| 11:29:59 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 11:36:06 | → | ash3en joins (~Thunderbi@2a02:3100:7cf1:b400:fcfa:8dfc:a95e:5b4c) |
| 11:39:57 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 11:44:54 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 11:46:21 | <haskellbridge> | <thirdofmay18081814goya> Bowuigi: thanks a lot for the comments! |
| 11:46:39 | × | vishalpaudel quits (~vishalpau@user/vishalpaudel) (Quit: Client closed) |
| 11:47:20 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 11:48:46 | → | img joins (~img@user/img) |
| 11:51:51 | → | xff0x joins (~xff0x@2405:6580:b080:900:f763:1633:e468:b352) |
| 11:54:36 | × | Square2 quits (~Square4@user/square) (Ping timeout: 246 seconds) |
| 11:55:22 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 11:58:10 | × | tinjamin quits (~tinjamin@banshee.h4x0r.space) (Remote host closed the connection) |
| 11:58:36 | → | tinjamin joins (~tinjamin@banshee.h4x0r.space) |
| 11:58:50 | × | tinjamin quits (~tinjamin@banshee.h4x0r.space) (Remote host closed the connection) |
| 11:59:57 | → | tinjamin joins (~tinjamin@banshee.h4x0r.space) |
| 12:00:00 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 12:05:51 | × | dysthesis quits (~dysthesis@user/dysthesis) (Ping timeout: 260 seconds) |
| 12:10:48 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 12:12:02 | → | CiaoSen joins (~Jura@2a05:5800:2ec:fd00:ca4b:d6ff:fec1:99da) |
| 12:15:15 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 12:20:29 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:26:12 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 12:26:34 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 12:30:39 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 12:33:11 | ← | fluffyballoon parts (45ce440a48@2a03:6000:1812:100::e2) () |
| 12:34:46 | → | erisco joins (~erisco@d24-141-66-165.home.cgocable.net) |
| 12:35:45 | × | erisco quits (~erisco@d24-141-66-165.home.cgocable.net) (Client Quit) |
| 12:36:31 | → | machinedgod joins (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 12:40:58 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 12:44:24 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 12:45:35 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 12:48:07 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 12:54:39 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 12:55:18 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:56:23 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 13:01:08 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 13:03:51 | → | danse-nr3 joins (~danse-nr3@user/danse-nr3) |
| 13:05:03 | → | youthlic joins (~Thunderbi@user/youthlic) |
| 13:07:58 | <lxsameer> | is it possible to disable dwarf on a project without recompiling ghc? |
| 13:09:17 | × | youthlic quits (~Thunderbi@user/youthlic) (Client Quit) |
| 13:11:49 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 13:12:34 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 13:16:31 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 13:27:14 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 13:29:41 | × | ash3en quits (~Thunderbi@2a02:3100:7cf1:b400:fcfa:8dfc:a95e:5b4c) (Remote host closed the connection) |
| 13:31:32 | → | alexherbo2 joins (~alexherbo@2a02-8440-3304-2058-9844-e554-ba59-a4ec.rev.sfr.net) |
| 13:31:37 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 13:31:37 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 13:32:03 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 13:32:06 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 13:32:22 | → | gmg joins (~user@user/gehmehgeh) |
| 13:34:00 | × | xff0x quits (~xff0x@2405:6580:b080:900:f763:1633:e468:b352) (Ping timeout: 246 seconds) |
| 13:37:57 | → | son0p joins (~ff@2800:e6:4001:8da7:232f:489b:caf3:dc20) |
| 13:41:59 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 13:46:36 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 13:52:31 | → | dans21526 joins (~danse-nr3@user/danse-nr3) |
| 13:52:49 | × | CiaoSen quits (~Jura@2a05:5800:2ec:fd00:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 13:54:33 | × | danse-nr3 quits (~danse-nr3@user/danse-nr3) (Ping timeout: 245 seconds) |
| 13:55:15 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:57:24 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 14:01:38 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 14:01:51 | × | vpan quits (~vpan@212.117.1.172) (Quit: Leaving.) |
| 14:02:22 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 14:12:50 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 14:17:23 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 14:20:44 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 14:22:45 | → | wroathe joins (~wroathe@mobile-166-175-58-245.mycingular.net) |
| 14:22:45 | × | wroathe quits (~wroathe@mobile-166-175-58-245.mycingular.net) (Changing host) |
| 14:22:45 | → | wroathe joins (~wroathe@user/wroathe) |
| 14:24:52 | × | wroathe quits (~wroathe@user/wroathe) (Client Quit) |
| 14:25:40 | → | wroathe joins (~wroathe@mobile-166-175-58-245.mycingular.net) |
| 14:25:40 | × | wroathe quits (~wroathe@mobile-166-175-58-245.mycingular.net) (Changing host) |
| 14:25:40 | → | wroathe joins (~wroathe@user/wroathe) |
| 14:26:52 | × | wroathe quits (~wroathe@user/wroathe) (Client Quit) |
| 14:29:24 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 14:40:19 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 14:46:01 | → | ephilalethes joins (~noumenon@113.51-175-156.customer.lyse.net) |
| 14:47:09 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 14:56:01 | × | Xe quits (~cadey@perl/impostor/xe) (Quit: WeeChat 4.3.2) |
| 14:58:09 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 14:58:24 | → | Xe joins (~cadey@perl/impostor/xe) |
| 14:58:51 | → | ft joins (~ft@p4fc2a393.dip0.t-ipconnect.de) |
| 15:02:33 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 15:04:18 | × | dans21526 quits (~danse-nr3@user/danse-nr3) (Ping timeout: 246 seconds) |
| 15:06:28 | × | alexherbo2 quits (~alexherbo@2a02-8440-3304-2058-9844-e554-ba59-a4ec.rev.sfr.net) (Remote host closed the connection) |
| 15:08:57 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 15:13:36 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 15:17:53 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 15:26:33 | ZharMeny` | is now known as ZharMeny |
| 15:28:03 | <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. |
| 15:29:02 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 15:33:21 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 15:37:08 | → | danse-nr3 joins (~danse-nr3@user/danse-nr3) |
| 15:40:33 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 15:41:14 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 15:44:01 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 15:46:51 | × | visilii quits (~visilii@46.61.242.155) (Ping timeout: 252 seconds) |
| 15:48:37 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 15:49:31 | → | visilii joins (~visilii@46.61.242.155) |
| 15:54:43 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 15:59:11 | × | ephilalethes quits (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 15:59:26 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 16:03:48 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 16:08:07 | × | p3n quits (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.8.2 - https://znc.in) |
| 16:09:58 | → | p3n joins (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 16:14:52 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 16:19:12 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 16:30:18 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 16:33:25 | × | akegalj quits (~akegalj@20-163.dsl.iskon.hr) (Quit: leaving) |
| 16:34:58 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 16:38:29 | → | orayn joins (~orayn@user/orayn) |
| 16:40:33 | × | ZharMeny quits (~user@user/ZharMeny) (Ping timeout: 246 seconds) |
| 16:44:27 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 16:45:02 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 16:50:14 | → | ZharMeny joins (~user@user/ZharMeny) |
| 16:50:21 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 16:51:48 | × | orayn quits (~orayn@user/orayn) (Quit: Client closed) |
| 17:00:28 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 17:02:35 | → | ash3en joins (~Thunderbi@2a02:3100:7cf1:b400:fcfa:8dfc:a95e:5b4c) |
| 17:02:44 | × | ash3en quits (~Thunderbi@2a02:3100:7cf1:b400:fcfa:8dfc:a95e:5b4c) (Remote host closed the connection) |
| 17:04:58 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 17:08:49 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 17:11:45 | × | son0p quits (~ff@2800:e6:4001:8da7:232f:489b:caf3:dc20) (Ping timeout: 248 seconds) |
| 17:15:53 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 17:18:04 | × | danse-nr3 quits (~danse-nr3@user/danse-nr3) () |
| 17:20:05 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 17:20:07 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 17:31:18 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 17:33:36 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 17:36:15 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 17:39:00 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 17:39:20 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 17:43:58 | → | VictorHugenay joins (~VictorHug@user/VictorHugenay) |
| 17:46:02 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 17:50:06 | × | smalltalkman quits (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 17:50:39 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 17:52:32 | × | haskellbridge quits (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 17:52:49 | → | ash3en joins (~Thunderbi@2a02:3100:7cf1:b400:fcfa:8dfc:a95e:5b4c) |
| 17:57:33 | → | haskellbridge joins (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 17:57:33 | ChanServ | sets mode +v haskellbridge |
| 17:59:58 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 18:00:09 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 18:01:28 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 18:01:50 | → | lxsameer joins (lxsameer@Serene/lxsameer) |
| 18:06:24 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 18:07:18 | × | VictorHugenay quits (~VictorHug@user/VictorHugenay) (Quit: Konversation terminated!) |
| 18:16:52 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 18:21:14 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 18:30:12 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 18:32:18 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 18:37:20 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 18:44:50 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 18:47:03 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 18:48:22 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 18:51:27 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 19:02:30 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 19:06:57 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 19:17:54 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 19:22:15 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 19:32:29 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:33:19 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 19:33:34 | × | ash3en quits (~Thunderbi@2a02:3100:7cf1:b400:fcfa:8dfc:a95e:5b4c) (Quit: ash3en) |
| 19:34:11 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 19:35:08 | → | ash3en joins (~Thunderbi@2a02:3100:7cf1:b400:fcfa:8dfc:a95e:5b4c) |
| 19:37:53 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 19:47:51 | × | tabemann_ quits (~tabemann@2600:1700:7990:24e0:b08e:d5b0:bdeb:c7fe) (Remote host closed the connection) |
| 19:48:05 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 19:48:15 | → | tabemann_ joins (~tabemann@2600:1700:7990:24e0:87b2:9ddc:bdac:f1c8) |
| 19:52:32 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 19:57:36 | × | ash3en quits (~Thunderbi@2a02:3100:7cf1:b400:fcfa:8dfc:a95e:5b4c) (Quit: ash3en) |
| 19:59:51 | × | Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 252 seconds) |
| 19:59:59 | × | kimiamania2 quits (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 20:00:12 | <energizer> | does haskell have a library for making fancy tables like https://gt.rstudio.com/ |
| 20:00:53 | × | lxsameer quits (lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds) |
| 20:01:16 | → | kimiamania2 joins (~65804703@user/kimiamania) |
| 20:03:09 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 20:03:30 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 20:07:56 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 20:12:44 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 20:13:35 | → | Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius) |
| 20:17:50 | → | pavonia joins (~user@user/siracusa) |
| 20:18:54 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 20:23:20 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 20:23:30 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 20:23:30 | × | gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 20:26:35 | <haskellbridge> | <sm> I wish, that looks great |
| 20:26:49 | <haskellbridge> | <sm> But check out tabular |
| 20:29:10 | → | gentauro joins (~gentauro@user/gentauro) |
| 20:32:02 | × | ThePenguin quits (~ThePengui@cust-95-80-24-166.csbnet.se) (Read error: Connection reset by peer) |
| 20:32:37 | → | ThePenguin joins (~ThePengui@cust-95-80-24-166.csbnet.se) |
| 20:33:22 | → | Guest53 joins (~Guest53@p200300ea373f9eca1d68d39dd720f016.dip0.t-ipconnect.de) |
| 20:34:22 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 20:38:54 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 20:44:29 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 260 seconds) |
| 20:45:59 | × | Guest53 quits (~Guest53@p200300ea373f9eca1d68d39dd720f016.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 20:49:48 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 20:54:01 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 21:01:16 | × | kimiamania2 quits (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 21:01:37 | → | kimiamania2 joins (~65804703@user/kimiamania) |
| 21:05:12 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 21:07:15 | <EvanR> | I can hear 10,000 web programmers screaming out at you energizer |
| 21:07:24 | <EvanR> | "just use CSS" |
| 21:08:35 | <energizer> | i feel like <table> is the way to make a table on the web, but i'm no expert |
| 21:09:58 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 21:11:05 | <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 |
| 21:11:12 | → | bwolf joins (c3bc363dd1@2a03:6000:1812:100::180) |
| 21:12:14 | → | alexherbo2 joins (~alexherbo@2a02-8440-3304-2058-8d0d-a132-e771-825f.rev.sfr.net) |
| 21:17:53 | → | bilegeek joins (~bilegeek@2600:1008:b001:5ba2:7995:67a5:d5c1:d120) |
| 21:20:38 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 21:20:58 | <EvanR> | making tables with <table> is so 1996 |
| 21:25:06 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 21:28:43 | × | michalz quits (~michalz@185.246.207.201) (Remote host closed the connection) |
| 21:30:31 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 21:36:04 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 21:38:10 | <RussetParrotBear> | All the cool kids these days make their tables with circular SVGs and an infinite series of lines... |
| 21:38:28 | <RussetParrotBear> | Embedding tables gets difficult, I hear. |
| 21:39:52 | → | orayn joins (~orayn@user/orayn) |
| 21:41:04 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 21:42:00 | → | neuroevolutus joins (~neuroevol@206.217.206.95) |
| 21:51:30 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 21:52:49 | → | son0p joins (~ff@186.121.35.155) |
| 21:53:24 | × | alexherbo2 quits (~alexherbo@2a02-8440-3304-2058-8d0d-a132-e771-825f.rev.sfr.net) (Remote host closed the connection) |
| 21:54:26 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 21:54:34 | → | alexherbo2 joins (~alexherbo@2a02-8440-3304-2058-a0a8-40d5-36f9-bfdb.rev.sfr.net) |
| 21:56:01 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 21:58:08 | × | alexherbo2 quits (~alexherbo@2a02-8440-3304-2058-a0a8-40d5-36f9-bfdb.rev.sfr.net) (Remote host closed the connection) |
| 22:00:13 | × | orayn quits (~orayn@user/orayn) (Ping timeout: 256 seconds) |
| 22:00:23 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:04:10 | × | dtman34 quits (~dtman34@2601:447:d080:1a3c:bfcc:30bd:73be:b26e) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 22:04:30 | → | dtman34 joins (~dtman34@2601:447:d080:1a3c:50df:47c3:7ee2:39e8) |
| 22:06:54 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 22:07:09 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 22:11:18 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 22:18:45 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 22:22:28 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 22:25:02 | → | dysthesis joins (~dysthesis@user/dysthesis) |
| 22:27:03 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 22:32:18 | × | hgolden quits (~hgolden@2603:8000:9d00:3ed1:1ee4:1b7c:94a7:8fa7) (Ping timeout: 272 seconds) |
| 22:33:41 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 22:35:16 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:38:15 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 22:39:52 | → | CiaoSen joins (~Jura@2a05:5800:2ec:fd00:ca4b:d6ff:fec1:99da) |
| 22:48:57 | × | neuroevolutus quits (~neuroevol@206.217.206.95) (Ping timeout: 256 seconds) |
| 23:02:10 | → | sam113102 joins (~sam@24.157.253.231) |
| 23:03:10 | → | hgolden joins (~hgolden@2603:8000:9d00:3ed1:1ee4:1b7c:94a7:8fa7) |
| 23:03:11 | → | Goodbye_Vincent1 joins (cyvahl@freakshells.net) |
| 23:03:11 | → | ThePenguin7 joins (~ThePengui@cust-95-80-24-166.csbnet.se) |
| 23:03:12 | → | fr33domlover9 joins (~fr33domlo@towards.vision) |
| 23:03:14 | → | forell_ joins (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) |
| 23:03:22 | → | mrmr155334346318 joins (~mrmr@user/mrmr) |
| 23:03:56 | → | dumptruckman_ joins (~dumptruck@69-164-210-35.ip.linodeusercontent.com) |
| 23:04:14 | → | RMSBach joins (~guygastin@137.184.131.156) |
| 23:04:15 | → | lockywolf_ joins (~lockywolf@public.lockywolf.net) |
| 23:04:16 | → | Ram-Z joins (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) |
| 23:04:20 | → | tomsmeding_ joins (~tomsmedin@2a01:4f8:c0c:5e5e::2) |
| 23:04:37 | → | natto joins (~natto@129.154.243.159) |
| 23:04:47 | → | igemnace_ joins (~igemnace@user/igemnace) |
| 23:04:51 | × | sam113101 quits (~sam@24.157.253.231) (Remote host closed the connection) |
| 23:04:51 | × | fr33domlover quits (~fr33domlo@towards.vision) (Quit: Ping timeout (120 seconds)) |
| 23:04:51 | × | ThePenguin quits (~ThePengui@cust-95-80-24-166.csbnet.se) (Quit: Ping timeout (120 seconds)) |
| 23:04:51 | × | forell quits (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 23:04:51 | × | Goodbye_Vincent quits (cyvahl@freakshells.net) (Quit: Ping timeout (120 seconds)) |
| 23:04:51 | × | mrmr15533434631 quits (~mrmr@user/mrmr) (Quit: Ping timeout (120 seconds)) |
| 23:04:51 | × | shailangsa quits (~shailangs@host86-185-58-242.range86-185.btcentralplus.com) (Read error: Connection reset by peer) |
| 23:04:51 | × | Digit quits (~user@user/digit) (Remote host closed the connection) |
| 23:04:51 | × | natto17 quits (~natto@129.154.243.159) (Quit: a.) |
| 23:04:51 | × | dumptruckman quits (~dumptruck@69-164-210-35.ip.linodeusercontent.com) (Remote host closed the connection) |
| 23:04:51 | × | remmie quits (ianremsen@tilde.team) (Quit: ZNC 1.8.1 - https://znc.in) |
| 23:04:51 | × | guygastineau quits (~guygastin@137.184.131.156) (Quit: ZNC - https://znc.in) |
| 23:04:51 | × | Ram-Z_ quits (~Ram-Z@li1814-254.members.linode.com) (Remote host closed the connection) |
| 23:04:51 | × | Vajb quits (~Vajb@85-76-15-1-nat.elisa-mobile.fi) (Ping timeout: 252 seconds) |
| 23:04:51 | × | lockywolf quits (~lockywolf@public.lockywolf.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 23:04:51 | × | igemnace quits (~igemnace@user/igemnace) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
| 23:04:51 | × | manwithluck quits (manwithluc@gateway/vpn/protonvpn/manwithluck) (Remote host closed the connection) |
| 23:04:51 | × | wagle quits (~wagle@quassel.wagle.io) (Quit: No Ping reply in 180 seconds.) |
| 23:04:51 | × | hueso quits (~root@user/hueso) (Quit: No Ping reply in 180 seconds.) |
| 23:04:51 | × | jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 23:04:52 | fr33domlover9 | is now known as fr33domlover |
| 23:04:52 | dumptruckman_ | is now known as dumptruckman |
| 23:04:52 | ThePenguin7 | is now known as ThePenguin |
| 23:04:53 | sam113102 | is now known as sam113101 |
| 23:04:53 | Goodbye_Vincent1 | is now known as Goodbye_Vincent |
| 23:04:53 | mrmr155334346318 | is now known as mrmr15533434631 |
| 23:05:07 | → | Digitteknohippie joins (~user@user/digit) |
| 23:05:09 | × | tomsmeding quits (~tomsmedin@static.21.109.88.23.clients.your-server.de) (Read error: Connection reset by peer) |
| 23:05:30 | → | hueso joins (~root@user/hueso) |
| 23:05:33 | → | wagle joins (~wagle@quassel.wagle.io) |
| 23:05:40 | → | manwithluck joins (manwithluc@gateway/vpn/protonvpn/manwithluck) |
| 23:05:45 | → | remmie joins (ianremsen@tilde.team) |
| 23:05:46 | × | ethantwardy quits (user@user/ethantwardy) (Ping timeout: 252 seconds) |
| 23:06:47 | → | ethantwardy joins (user@user/ethantwardy) |
| 23:06:51 | → | jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 23:09:09 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 23:13:50 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 23:16:00 | × | hgolden quits (~hgolden@2603:8000:9d00:3ed1:1ee4:1b7c:94a7:8fa7) (Ping timeout: 272 seconds) |
| 23:24:36 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 23:28:56 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 23:29:05 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 23:30:28 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 23:37:03 | × | acidjnk quits (~acidjnk@p200300d6e72cfb5769877611ebc3e7f6.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 23:40:02 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 23:40:11 | × | CiaoSen quits (~Jura@2a05:5800:2ec:fd00:ca4b:d6ff:fec1:99da) (Quit: CiaoSen) |
| 23:44:44 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 23:47:16 | → | shailangsa_ joins (~shailangs@host86-185-58-242.range86-185.btcentralplus.com) |
| 23:49:41 | × | son0p quits (~ff@186.121.35.155) (Ping timeout: 244 seconds) |
| 23:50:33 | <haskellbridge> | <thirdofmay18081814goya> + |
| 23:50:50 | <haskellbridge> | <thirdofmay18081814goya> whoops not on nvim |
| 23:55:28 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
All times are in UTC on 2024-08-23.