Newest at the top
| 2024-05-11 09:24:20 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-05-11 09:19:29 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-05-11 09:19:26 +0200 | <darius9> | Side note: I'm not acquainted with university level mathematics (yet), but I've had some FP experience in Scala 2/3 prior. |
| 2024-05-11 09:17:20 +0200 | <darius9> | Thank you all in advance:) |
| 2024-05-11 09:17:19 +0200 | <darius9> | Also asked on the beginners channel, but trying here as well. Hey everyone! I'm almost through an introductory Haskell Book. Anyone got any recommendations for an intermediate book that covers more advanced topics such as Type Families and so on? |
| 2024-05-11 09:15:46 +0200 | darius9 | (~darius@93.126.130.110) |
| 2024-05-11 09:14:43 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-11 09:13:28 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-05-11 09:05:41 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 268 seconds) |
| 2024-05-11 08:50:49 +0200 | jle` | (~jle`@2603:8001:3b02:84d4:6e37:aef9:1702:5bd0) |
| 2024-05-11 08:43:46 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-05-11 08:39:46 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
| 2024-05-11 08:36:34 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-05-11 08:35:02 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-05-11 08:31:42 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-05-11 08:30:55 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-05-11 08:30:22 +0200 | chexum_ | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds) |
| 2024-05-11 08:29:26 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
| 2024-05-11 08:28:45 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2024-05-11 08:27:49 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-05-11 08:22:59 +0200 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::2e) (Remote host closed the connection) |
| 2024-05-11 08:22:41 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 252 seconds) |
| 2024-05-11 08:20:36 +0200 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving) |
| 2024-05-11 08:20:23 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-05-11 08:20:12 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-05-11 08:17:33 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-11 08:11:42 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2024-05-11 08:09:15 +0200 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::2e) |
| 2024-05-11 08:08:58 +0200 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::2e) (Remote host closed the connection) |
| 2024-05-11 08:08:46 +0200 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::2e) |
| 2024-05-11 08:08:33 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-11 08:08:28 +0200 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::2e) (Remote host closed the connection) |
| 2024-05-11 08:07:59 +0200 | kimiamania | (~76637481@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 2024-05-11 07:55:54 +0200 | spamonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-05-11 07:50:16 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-05-11 07:49:47 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-05-11 07:28:53 +0200 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) |
| 2024-05-11 07:14:13 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-05-11 06:58:20 +0200 | mei | (~mei@user/mei) |
| 2024-05-11 06:57:25 +0200 | jle` | (~jle`@2603:8001:3b02:84d4:55f8:739e:3296:6d3) (Ping timeout: 268 seconds) |
| 2024-05-11 06:55:55 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-05-11 06:53:08 +0200 | Benzi-Junior | (~BenziJuni@232-148-209-31.dynamic.hringdu.is) |
| 2024-05-11 06:51:23 +0200 | B-J | (~BenziJuni@232-148-209-31.dynamic.hringdu.is) (Ping timeout: 252 seconds) |
| 2024-05-11 06:37:55 +0200 | gawen | (~gawen@user/gawen) |
| 2024-05-11 06:36:32 +0200 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2024-05-11 06:00:12 +0200 | aforemny_ | (~aforemny@2001:9e8:6cf2:cc00:4716:28bd:787d:4b08) (Ping timeout: 260 seconds) |
| 2024-05-11 05:59:26 +0200 | tram | (~tram@2a02:586:7e3a:cb96:c7d7:78d4:c6de:913a) (Quit: Leaving.) |
| 2024-05-11 05:58:55 +0200 | aforemny | (~aforemny@2001:9e8:6cd6:3600:97b7:283e:1ab8:36b5) |
| 2024-05-11 04:45:15 +0200 | foul_owl | (~kerry@185.219.141.164) |
| 2024-05-11 04:34:51 +0200 | systemhalted | (~systemhal@130.51.137.77) (Remote host closed the connection) |