Newest at the top
| 2024-12-26 18:00:06 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2024-12-26 17:58:54 +0100 | <monochrom> | <-- expert in opposite categories >:) |
| 2024-12-26 17:58:31 +0100 | <monochrom> | Don't answer to answer, just don't answer. |
| 2024-12-26 17:56:28 +0100 | <geekosaur> | much ado about nothing |
| 2024-12-26 17:56:20 +0100 | <geekosaur> | exactly |
| 2024-12-26 17:56:00 +0100 | <int-e> | . o O ( what did I miss? *logcheck* -- oh nothing ) |
| 2024-12-26 17:55:47 +0100 | <geekosaur> | (1 day timeout on the ban) |
| 2024-12-26 17:55:25 +0100 | <geekosaur> | think they've had enough chances |
| 2024-12-26 17:54:21 +0100 | geekosaur | -o geekosaur |
| 2024-12-26 17:54:17 +0100 | geekosaur | +b *!*@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net |
| 2024-12-26 17:53:29 +0100 | ChanServ | +o geekosaur |
| 2024-12-26 17:53:26 +0100 | <geekosaur> | in fact… |
| 2024-12-26 17:53:22 +0100 | <geekosaur> | they've asked that 3 times so far |
| 2024-12-26 17:51:57 +0100 | <enikar> | ncf: :D |
| 2024-12-26 17:51:55 +0100 | <enikar> | what a headache for nothing… |
| 2024-12-26 17:51:30 +0100 | <lambdabot> | ["don't","ask to","ask to","ask to","ask to","ask to","ask to","ask to","ask... |
| 2024-12-26 17:51:28 +0100 | <ncf> | > "don't":repeat "ask to" |
| 2024-12-26 17:51:10 +0100 | <ncf> | maybe their question was "can i ask a question" |
| 2024-12-26 17:50:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-26 17:49:58 +0100 | <geekosaur> | this person is not in touch with reality |
| 2024-12-26 17:49:49 +0100 | geekosaur | sighs |
| 2024-12-26 17:49:37 +0100 | r-sta | (~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net) (Client Quit) |
| 2024-12-26 17:49:34 +0100 | <r-sta> | anyway i cant remember my question now so ill ask again, later |
| 2024-12-26 17:49:23 +0100 | <r-sta> | not to be awkward... |
| 2024-12-26 17:49:13 +0100 | <r-sta> | im suggesting it could be a redteaming |
| 2024-12-26 17:48:51 +0100 | <r-sta> | it is not a perpetuity assumedly |
| 2024-12-26 17:48:39 +0100 | <r-sta> | which i am asking to ask about |
| 2024-12-26 17:48:31 +0100 | <enikar> | this is the etiquette on irc |
| 2024-12-26 17:48:22 +0100 | <r-sta> | there is a huge reason to ascertain consent |
| 2024-12-26 17:48:09 +0100 | <r-sta> | brainwashed... |
| 2024-12-26 17:47:57 +0100 | <enikar> | r-sta: there is no need to ask to ask. If you want to ask question, ask for it directly. |
| 2024-12-26 17:47:55 +0100 | <r-sta> | i had not received *consent*, unfortunately, and am having to ask again. |
| 2024-12-26 17:47:36 +0100 | <r-sta> | for what its worth i was actually part of setting up the CoC, and there is a reason im asking, to ask. |
| 2024-12-26 17:46:45 +0100 | <r-sta> | hi, i was here a moment ago asking to ask a question, i got timed out though |
| 2024-12-26 17:46:33 +0100 | r-sta | (~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net) |
| 2024-12-26 17:45:13 +0100 | <gentauro> | geekosaur: got it. Thx |
| 2024-12-26 17:44:50 +0100 | <geekosaur> | (StarIsType is deprecated because of type operators, but it's still the default in most released ghc/ghci versions) |
| 2024-12-26 17:44:20 +0100 | <geekosaur> | er, -XNoStarIsType |
| 2024-12-26 17:43:58 +0100 | <geekosaur> | that's its kind |
| 2024-12-26 17:43:50 +0100 | <geekosaur> | turn on -XNoSTarIsType and you'll see it change to: type Foo :: Type |
| 2024-12-26 17:43:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-26 17:41:59 +0100 | <gentauro> | Hey all, merry x-mas. I have a question (related to GHCi and the type system). When I type: `data Foo = Bar` and then: `:i Foo`, the first line has: `type Foo :: *`. Does the `*` refer to the "implicit" universal quantification `forall`? Source: https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/explicit_forall.html |
| 2024-12-26 17:40:35 +0100 | gorignak | (~gorignak@user/gorignak) (Ping timeout: 244 seconds) |
| 2024-12-26 17:30:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-26 17:26:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-26 17:22:36 +0100 | euleritian | (~euleritia@dynamic-176-006-146-109.176.6.pool.telefonica.de) |
| 2024-12-26 17:22:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-12-26 17:21:19 +0100 | ash3en | (~Thunderbi@185.224.57.162) (Quit: ash3en) |
| 2024-12-26 17:20:11 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-12-26 17:17:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |