Newest at the top
| 2024-10-10 22:00:29 +0200 | Oraculo | (mirc-rockc@177.100.68.254) (Quit: pop!_os channel on irc #pop!_os) |
| 2024-10-10 21:55:16 +0200 | supercode | (~supercode@user/supercode) (Quit: Client closed) |
| 2024-10-10 21:54:03 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-10-10 21:37:04 +0200 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2024-10-10 21:31:56 +0200 | Batzy | (~quassel@user/batzy) (Ping timeout: 255 seconds) |
| 2024-10-10 21:29:27 +0200 | Batzy_ | (~quassel@user/batzy) Batzy |
| 2024-10-10 21:21:24 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-10 21:19:19 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-10 21:12:40 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Client Quit) |
| 2024-10-10 21:11:18 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
| 2024-10-10 21:08:14 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-10 21:06:40 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-10-10 21:06:19 +0200 | LukeHoersten_ | (~LukeHoers@user/lukehoersten) (Client Quit) |
| 2024-10-10 21:06:09 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-10-10 21:04:17 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2024-10-10 21:04:02 +0200 | vanishing | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-10 21:01:37 +0200 | LukeHoersten_ | (~LukeHoers@user/lukehoersten) LukeHoersten |
| 2024-10-10 21:01:16 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Read error: Connection reset by peer) |
| 2024-10-10 21:00:39 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-10 21:00:02 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-10 20:59:20 +0200 | morb | (~morb@108.41.100.120) (Ping timeout: 252 seconds) |
| 2024-10-10 20:57:04 +0200 | supercode | (~supercode@user/supercode) supercode |
| 2024-10-10 20:56:55 +0200 | vanishing | vanishingideal |
| 2024-10-10 20:56:51 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Killed (NickServ (GHOST command used by vanishing))) |
| 2024-10-10 20:56:12 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
| 2024-10-10 20:55:49 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-10 20:55:44 +0200 | vanishing | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-10 20:54:59 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-10 20:54:46 +0200 | morb | (~morb@108.41.100.120) |
| 2024-10-10 20:53:41 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2024-10-10 20:52:38 +0200 | <lambdabot> | Okay. |
| 2024-10-10 20:52:38 +0200 | <Lears> | @where+ rtfm https://downloads.haskell.org/ghc/latest/docs/users_guide/ |
| 2024-10-10 20:52:09 +0200 | Oraculo | (mirc-rockc@177.100.68.254) Oraculo |
| 2024-10-10 20:51:25 +0200 | codaraxis | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-10-10 20:51:02 +0200 | <haskellbridge> | <thirdofmay18081814goya> good point ty |
| 2024-10-10 20:49:52 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2024-10-10 20:49:30 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-10 20:49:20 +0200 | <monochrom> | (That's what I did every time I needed something, e.g., that's where I learned GADTs) |
| 2024-10-10 20:48:40 +0200 | <monochrom> | IMO you should simply consult the GHC user's guide. |
| 2024-10-10 20:48:30 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-10 20:47:42 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2024-10-10 20:47:42 +0200 | vanishing | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2024-10-10 20:47:21 +0200 | <monochrom> | I have never used it. I only saw https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/type_abstractions.html |
| 2024-10-10 20:46:54 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-10-10 20:46:35 +0200 | <haskellbridge> | <thirdofmay18081814goya> monochrom: hm having a bit of trouble using it properly. having better luck? |
| 2024-10-10 20:44:11 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-10 20:43:44 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Client Quit) |
| 2024-10-10 20:42:21 +0200 | <haskellbridge> | <thirdofmay18081814goya> nice thanks a lot! |
| 2024-10-10 20:42:18 +0200 | <haskellbridge> | <thirdofmay18081814goya> monochrom: ah this was it! |
| 2024-10-10 20:40:35 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |