Newest at the top
| 2024-10-06 11:35:00 +0200 | <ncf> | nothing |
| 2024-10-06 11:32:53 +0200 | <haskellbridge> | <thirdofmay18081814goya> what guarantees that the least fixed point of a type-functor will produce finite data types? |
| 2024-10-06 11:31:57 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2024-10-06 11:29:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-06 11:27:26 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-10-06 11:27:21 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:e21f:8806:679b:6ae1) (Ping timeout: 252 seconds) |
| 2024-10-06 11:25:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-06 11:16:27 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-06 11:12:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-06 11:12:39 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-10-06 11:07:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-06 11:05:03 +0200 | andrewboltachev | (~andrey@178.141.123.3) (Quit: Leaving.) |
| 2024-10-06 11:01:26 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:e21f:8806:679b:6ae1) |
| 2024-10-06 10:59:28 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-10-06 10:59:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-06 10:55:55 +0200 | fmira | (~user@user/fmira) (Quit: fmira) |
| 2024-10-06 10:54:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-06 10:51:44 +0200 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-10-06 10:50:52 +0200 | Digit | (~user@user/digit) Digit |
| 2024-10-06 10:50:51 +0200 | artu | (~artu@2601:600:8181:9b00::14) (Quit: WeeChat 4.4.2) |
| 2024-10-06 10:50:19 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-10-06 10:48:45 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 276 seconds) |
| 2024-10-06 10:47:16 +0200 | <artu> | doesn't this `count :: Int` claim/declare `count` as type `Int`? I'll define after the declaration. Apperantly I'm a noob here :) |
| 2024-10-06 10:46:19 +0200 | Digitteknohippie | (~user@user/digit) (Ping timeout: 260 seconds) |
| 2024-10-06 10:44:46 +0200 | <haskellbridge> | <Jade> did you define "count"? if not, you can't print it :P |
| 2024-10-06 10:44:06 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2024-10-06 10:43:30 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-10-06 10:41:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-06 10:41:49 +0200 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
| 2024-10-06 10:41:33 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-10-06 10:39:49 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb9628aff41673680d4c.dip0.t-ipconnect.de) acidjnk |
| 2024-10-06 10:39:20 +0200 | <artu> | I tried to evaluate `count :: Int` in GHCi but got an error "Variable not in scope count :: Int". I want to try out haskell's full features on the REPL without creating a file or project. Any advice on that how can I achieve this interactively? |
| 2024-10-06 10:37:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-06 10:35:31 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb9670d70e28f87691c4.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-10-06 10:29:18 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-10-06 10:29:09 +0200 | CiaoSen | (~Jura@2a05:5800:464:f400:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds) |
| 2024-10-06 10:28:42 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-10-06 10:25:08 +0200 | ubert | (~Thunderbi@178.165.166.66.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2024-10-06 10:24:43 +0200 | ubert | (~Thunderbi@178.165.166.66.wireless.dyn.drei.com) ubert |
| 2024-10-06 10:24:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-06 10:19:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-06 10:18:50 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-06 10:13:22 +0200 | artu | (~artu@2601:600:8181:9b00::14) artu |
| 2024-10-06 10:06:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-06 10:05:45 +0200 | <jackdk> | it would be neat if you didn't get shadowing warnings for bindings consumed by a linear arrow |
| 2024-10-06 10:03:37 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-10-06 10:02:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-06 09:58:02 +0200 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2024-10-06 09:49:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-06 09:45:28 +0200 | andrewboltachev | (~andrey@178.141.123.3) andrewboltachev |