Newest at the top
| 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 |
| 2024-12-26 17:17:31 +0100 | euleritian | (~euleritia@p5b124282.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2024-12-26 17:04:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-26 17:00:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-26 16:57:09 +0100 | r-sta | (~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net) (Quit: Client closed) |
| 2024-12-26 16:54:31 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f96d08b963c1d2d2589.dip0.t-ipconnect.de) acidjnk |
| 2024-12-26 16:50:37 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2024-12-26 16:46:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-26 16:42:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-26 16:37:51 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-12-26 16:36:12 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 276 seconds) |
| 2024-12-26 16:30:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-26 16:25:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-26 16:24:10 +0100 | Milan | (~Milan@host-141-136-55-18.rupkki.sk) (Remote host closed the connection) |
| 2024-12-26 16:23:28 +0100 | Milan | (~Milan@host-141-136-55-18.rupkki.sk) |
| 2024-12-26 16:22:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-26 16:20:47 +0100 | Teacup | (~teacup@user/teacup) Teacup |
| 2024-12-26 16:20:03 +0100 | Teacup | (~teacup@user/teacup) () |
| 2024-12-26 16:19:31 +0100 | tnt2 | tnt1 |
| 2024-12-26 16:19:31 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2024-12-26 16:19:00 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-26 16:17:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-26 16:15:51 +0100 | Milan | (~Milan@host-141-136-55-18.rupkki.sk) (Ping timeout: 244 seconds) |
| 2024-12-26 16:11:24 +0100 | Milan | (~Milan@host-141-136-55-18.rupkki.sk) |
| 2024-12-26 16:10:49 +0100 | Milan | (~Milan@host-141-136-55-18.rupkki.sk) (Ping timeout: 245 seconds) |
| 2024-12-26 16:06:18 +0100 | Milan | (~Milan@host-141-136-55-18.rupkki.sk) |
| 2024-12-26 16:05:06 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2024-12-26 16:04:56 +0100 | ash3en | (~Thunderbi@185.224.57.162) ash3en |
| 2024-12-26 16:04:25 +0100 | tomku | (~tomku@user/tomku) (Ping timeout: 252 seconds) |
| 2024-12-26 16:03:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-12-26 16:02:54 +0100 | Milan | (~Milan@host-141-136-55-18.rupkki.sk) (Ping timeout: 245 seconds) |
| 2024-12-26 15:56:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-26 15:56:33 +0100 | Milan | (~Milan@host-141-136-55-18.rupkki.sk) |
| 2024-12-26 15:50:32 +0100 | Milan | (~Milan@host-141-136-55-18.rupkki.sk) (Ping timeout: 244 seconds) |
| 2024-12-26 15:50:26 +0100 | masterbuilder | (~quassel@user/masterbuilder) (Remote host closed the connection) |
| 2024-12-26 15:49:40 +0100 | <geekosaur> | also, you do realize we don't have 24/7 help desk staffing around here, especially around the winter holidays… |
| 2024-12-26 15:48:46 +0100 | <ncf> | https://dontasktoask.com/ |
| 2024-12-26 15:47:46 +0100 | <r-sta> | plz |
| 2024-12-26 15:47:45 +0100 | <r-sta> | can i ask a question? |
| 2024-12-26 15:47:40 +0100 | <r-sta> | hi! |
| 2024-12-26 15:47:40 +0100 | r-sta | (~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net) |
| 2024-12-26 15:44:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |