Newest at the top
| 2024-10-11 05:04:47 +0200 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-11 05:01:26 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Quit: xff0x) |
| 2024-10-11 04:59:23 +0200 | jinsun | (~jinsun@user/jinsun) jinsun |
| 2024-10-11 04:39:00 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2024-10-11 04:33:59 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-10-11 04:22:12 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-10-11 04:20:25 +0200 | Square | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2024-10-11 04:12:25 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-10-11 04:11:54 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-10-11 04:11:40 +0200 | td_ | (~td@i5387090C.versanet.de) td_ |
| 2024-10-11 04:10:16 +0200 | td_ | (~td@i53870924.versanet.de) (Ping timeout: 272 seconds) |
| 2024-10-11 04:08:22 +0200 | spew | (~spew@201.141.99.170) (Quit: spew) |
| 2024-10-11 03:55:55 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
| 2024-10-11 03:41:16 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-10-11 03:36:48 +0200 | RedFlamingos | (~RedFlamin@user/RedFlamingos) (Ping timeout: 252 seconds) |
| 2024-10-11 03:32:43 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b9e0:835:2698:e6f:bd82) (Read error: Connection reset by peer) |
| 2024-10-11 03:32:08 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
| 2024-10-11 03:29:10 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-11 03:27:17 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-10-11 03:12:14 +0200 | weary-traveler | (~user@user/user363627) (Ping timeout: 252 seconds) |
| 2024-10-11 03:08:50 +0200 | user363627 | (~user@user/user363627) user363627 |
| 2024-10-11 03:03:25 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 252 seconds) |
| 2024-10-11 03:02:57 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-10-11 03:00:29 +0200 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 260 seconds) |
| 2024-10-11 03:00:23 +0200 | Sgeo_ | (~Sgeo@user/sgeo) Sgeo |
| 2024-10-11 02:54:46 +0200 | jinsun | (~jinsun@user/jinsun) jinsun |
| 2024-10-11 02:53:47 +0200 | <dmj`> | UnconsSymbol |
| 2024-10-11 02:49:19 +0200 | xff0x_ | (~xff0x@2405:6580:b080:900:4f73:4e09:b8f0:e4a2) (Ping timeout: 264 seconds) |
| 2024-10-11 02:48:12 +0200 | <haskellbridge> | <thirdofmay18081814goya> vague answers only, am practicing type-level programming |
| 2024-10-11 02:48:04 +0200 | <haskellbridge> | <thirdofmay18081814goya> what are some interesting/useful/neat type-level data types and functions? |
| 2024-10-11 02:47:39 +0200 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.91)) |
| 2024-10-11 02:39:08 +0200 | ChanServ | +v haskellbridge |
| 2024-10-11 02:39:08 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
| 2024-10-11 02:38:36 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2024-10-11 02:34:18 +0200 | califax | (~califax@user/califx) califx |
| 2024-10-11 02:32:32 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-10-11 02:28:13 +0200 | Nixkernal | (~Nixkernal@226.85.194.178.dynamic.cust.swisscom.net) (Ping timeout: 252 seconds) |
| 2024-10-11 02:17:27 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-10-11 02:16:54 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 265 seconds) |
| 2024-10-11 02:15:10 +0200 | quintasan | (~quassel@quintasan.pl) () |
| 2024-10-11 02:10:54 +0200 | <Zer000> | That's probably it :) |
| 2024-10-11 02:10:50 +0200 | <Zer000> | DOH! |
| 2024-10-11 02:08:37 +0200 | <Lears> | Zer000: You also changed `E.diskNumBytes` to `E.diskBytenr`. |
| 2024-10-11 02:08:02 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-10-11 02:07:11 +0200 | <Zer000> | I'm excited because it's running but it's freaking me out. i'll read about that let-generalization though |
| 2024-10-11 02:06:40 +0200 | <Zer000> | https://paste.tomsmeding.com/OpuMYlD1 |
| 2024-10-11 02:06:02 +0200 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2024-10-11 02:06:02 +0200 | <c_wraith> | @where paste |
| 2024-10-11 02:05:59 +0200 | <Zer000> | what's a good pastebin? |
| 2024-10-11 02:05:53 +0200 | lol_ | jcarpenter2 |