Newest at the top
2024-10-08 02:27:02 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-08 02:26:42 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2024-10-08 02:05:08 +0200 | gentauro | (~gentauro@user/gentauro) gentauro |
2024-10-08 01:59:34 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
2024-10-08 01:47:26 +0200 | Digit | (~user@user/digit) Digit |
2024-10-08 01:45:43 +0200 | Digit | (~user@user/digit) (Read error: Connection reset by peer) |
2024-10-08 01:38:01 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
2024-10-08 01:36:45 +0200 | supercode | (~supercode@user/supercode) (Quit: Client closed) |
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 |