Newest at the top
| 2025-01-20 21:44:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-20 21:40:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-20 21:30:35 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: leaving) |
| 2025-01-20 21:29:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-20 21:24:57 +0100 | traxex | (~traxex@freeshell.org) (Ping timeout: 246 seconds) |
| 2025-01-20 21:24:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-20 21:20:47 +0100 | traxex | (~traxex@freeshell.org) |
| 2025-01-20 21:19:50 +0100 | euleritian | (~euleritia@dynamic-176-006-139-206.176.6.pool.telefonica.de) |
| 2025-01-20 21:18:55 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds) |
| 2025-01-20 21:18:34 +0100 | traxex | (traxex@user/traxex) (Ping timeout: 260 seconds) |
| 2025-01-20 21:17:17 +0100 | tallcatparade | (~tallcatpa@2600:1700:52c3:250::40) (Client Quit) |
| 2025-01-20 21:13:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-20 21:12:34 +0100 | tallcatparade | (~tallcatpa@2600:1700:52c3:250::40) |
| 2025-01-20 21:06:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-20 21:01:56 +0100 | kuribas | (~user@ptr-17d51eocedivlwulkvg.18120a2.ip6.access.telenet.be) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2025-01-20 21:00:38 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-20 21:00:00 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-20 20:58:07 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2025-01-20 20:55:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-20 20:55:09 +0100 | ljdarj1 | ljdarj |
| 2025-01-20 20:55:09 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-01-20 20:53:52 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-20 20:51:42 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-20 20:51:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-20 20:46:24 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 264 seconds) |
| 2025-01-20 20:40:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-20 20:36:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-20 20:33:38 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
| 2025-01-20 20:29:56 +0100 | mengu1 | (~mengu1@88.253.125.86) (Quit: Client closed) |
| 2025-01-20 20:29:51 +0100 | mud | (~mud@user/kadoban) (Read error: Connection reset by peer) |
| 2025-01-20 20:28:30 +0100 | kadobanana | (~mud@user/kadoban) kadoban |
| 2025-01-20 20:28:19 +0100 | <haskellbridge> | <sm> 👍️ |
| 2025-01-20 20:27:51 +0100 | <yahb2> | type GHC.Internal.Base.NonEmpty :: * -> * ; data GHC.Internal.Base.NonEmpty a = a GHC.Internal.Base.:| [a] ; -- Defined in ‘GHC.Internal.Base’ ; instance Foldable GHC.Internal.Base.NonEmpty ; ... |
| 2025-01-20 20:27:50 +0100 | <tomsmeding> | % :i Data.List.NonEmpty.NonEmpty |
| 2025-01-20 20:27:41 +0100 | <hellwolf> | This bits works with linearhaskell, so it looks unfamiliar |
| 2025-01-20 20:27:26 +0100 | <hellwolf> | :| is the NomEmpty |
| 2025-01-20 20:27:19 +0100 | <haskellbridge> | <sm> and what's :| ? Nothing bad, just some things I'm not used to :) |
| 2025-01-20 20:27:03 +0100 | <hellwolf> | that's the weird bits indeed. just a variable name convention. |
| 2025-01-20 20:26:42 +0100 | <haskellbridge> | <sm> and what are the names with ' in them ? |
| 2025-01-20 20:26:40 +0100 | <hellwolf> | bunch of boiler plate I should still eliminate. |
| 2025-01-20 20:26:16 +0100 | <hellwolf> | $locId I will eliminate. |
| 2025-01-20 20:26:09 +0100 | <hellwolf> | which one is the most surprising? Function signature? |
| 2025-01-20 20:26:08 +0100 | <haskellbridge> | <sm> not sure why, probably the $locId and the object = definition at the top and some other unfamiliar bits (@ type applications..) |
| 2025-01-20 20:26:00 +0100 | <hellwolf> | yea... :D |
| 2025-01-20 20:25:54 +0100 | acidjnk | (~acidjnk@p200300d6e7283f8095cc0997f421f19c.dip0.t-ipconnect.de) acidjnk |
| 2025-01-20 20:25:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-20 20:25:36 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-01-20 20:25:16 +0100 | <haskellbridge> | <sm> and on the left is Yolc.. which is actually a Haskell EDSL ? At first I didn't quite recognise it as haskell |
| 2025-01-20 20:24:32 +0100 | <hellwolf> | because of those bastardized languages. |
| 2025-01-20 20:24:22 +0100 | <hellwolf> | ugly as hell, my primary motivation is to use Haskell. |