Newest at the top
| 2024-10-08 01:32:17 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-10-08 01:29:30 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2024-10-08 01:27:24 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Ping timeout: 260 seconds) |
| 2024-10-08 01:23:53 +0200 | thegeekinside | (~thegeekin@189.217.93.202) (Remote host closed the connection) |
| 2024-10-08 01:20:39 +0200 | motherfsck | (~motherfsc@user/motherfsck) motherfsck |
| 2024-10-08 01:18:29 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Quit: quit) |
| 2024-10-08 01:16:39 +0200 | troojg | (~troojg@user/troojg) troojg |
| 2024-10-08 01:15:00 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2024-10-08 01:08:13 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb09b827840f1f57a57d.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-10-08 01:03:49 +0200 | thegeekinside | (~thegeekin@189.217.93.202) thegeekinside |
| 2024-10-08 00:51:47 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) talismanick |
| 2024-10-08 00:49:33 +0200 | xff0x | (~xff0x@2405:6580:b080:900:8633:3fd0:abbc:825) |
| 2024-10-08 00:42:24 +0200 | tuxpaint | (~a@put.gay) |
| 2024-10-08 00:42:05 +0200 | tuxpaint | (~a@put.gay) (Quit: gn) |
| 2024-10-08 00:41:44 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-10-08 00:36:43 +0200 | xff0x | (~xff0x@2405:6580:b080:900:31d8:fed5:6c70:b7b9) (Ping timeout: 264 seconds) |
| 2024-10-08 00:24:21 +0200 | mantraofpie | (~mantraofp@user/mantraofpie) (Ping timeout: 260 seconds) |
| 2024-10-08 00:12:22 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-10-08 00:09:12 +0200 | andrewboltachev | (~andrey@178.141.123.3) (Quit: Leaving.) |
| 2024-10-08 00:04:00 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-10-08 00:02:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-08 00:00:11 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-07 23:59:54 +0200 | euleritian | (~euleritia@dynamic-176-006-132-124.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-07 23:59:41 +0200 | Guest82 | (~Guest82@152.44.49.129) (Client Quit) |
| 2024-10-07 23:58:41 +0200 | Guest82 | (~Guest82@152.44.49.129) |
| 2024-10-07 23:54:25 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-10-07 23:51:57 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-10-07 23:40:26 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-10-07 23:40:12 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-10-07 23:37:35 +0200 | supercode | (~supercode@user/supercode) supercode |
| 2024-10-07 23:34:30 +0200 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2024-10-07 23:33:00 +0200 | <yin> | i don't think tgis would be a good thing for Haskell to have. i was just curious of the implications |
| 2024-10-07 23:32:19 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-10-07 23:29:28 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) sourcetarius |
| 2024-10-07 23:12:44 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-10-07 23:08:20 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2024-10-07 23:04:04 +0200 | CiaoSen | (~Jura@2a05:5800:2e4:9e00:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 2024-10-07 22:50:53 +0200 | michalz | (~michalz@185.246.207.217) (Remote host closed the connection) |
| 2024-10-07 22:36:39 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-10-07 22:36:29 +0200 | <dolio> | Oh, nice. |
| 2024-10-07 22:35:57 +0200 | <dolio> | Is that too new for readthedocs? |
| 2024-10-07 22:35:57 +0200 | <ncf> | https://agda.readthedocs.io/en/latest/language/with-abstraction.html#left-hand-side-let-bindings |
| 2024-10-07 22:35:48 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-07 22:35:42 +0200 | <monochrom> | Yikes haha that sounds like syntax inflation. |
| 2024-10-07 22:35:29 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) (Remote host closed the connection) |
| 2024-10-07 22:35:22 +0200 | <ncf> | they've added "using" or whatever recently |
| 2024-10-07 22:34:39 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-10-07 22:33:51 +0200 | <dolio> | Agda has an analogous annoyance. Sometimes I'd like to define something in a `where` that I use in a `with`. But I can't do that, because the `with` introduces clauses that each have their own `where`, not vice versa. |
| 2024-10-07 22:33:47 +0200 | <monochrom> | in fact, also available to the guard conditions. "case x:xt | z > 0 -> ... where z=x+2" is OK. |
| 2024-10-07 22:33:34 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |