Newest at the top
| 2025-12-16 14:29:59 +0100 | <kuribas> | Does GHC now infer constraints? |
| 2025-12-16 14:29:37 +0100 | <kuribas> | How can this work without constraints? reachable :: HashSet a -> HashMap a [a] -> HashSet a |
| 2025-12-16 14:25:01 +0100 | Psy-Q | (~psy-q@user/psy-q) Psy-Q |
| 2025-12-16 14:23:46 +0100 | myxos | (~myxos@2001:579:8380:f20:bd90:58c1:9ba1:835a) (Ping timeout: 246 seconds) |
| 2025-12-16 14:23:31 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-16 14:21:22 +0100 | <ski> | gentauro : yea (although not keywords) |
| 2025-12-16 14:21:17 +0100 | myxokephale | (~myxos@2001:579:8380:f20:f2c2:4b00:b76e:8530) myxokephale |
| 2025-12-16 14:15:35 +0100 | Googulator67 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-16 14:15:12 +0100 | Googulator67 | (~Googulato@87-97-86-146.pool.digikabel.hu) (Quit: Client closed) |
| 2025-12-16 14:05:51 +0100 | Googulator67 | (~Googulato@87-97-86-146.pool.digikabel.hu) |
| 2025-12-16 14:05:33 +0100 | Googulator67 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-16 14:04:52 +0100 | merijn | (~merijn@77.242.116.146) (Quit: reboot) |
| 2025-12-16 14:02:01 +0100 | <kuribas> | I guess I just need to recurse, and consider visited nodes. |
| 2025-12-16 13:59:39 +0100 | <kuribas> | For example, Map a [a] -> Map a (Maybe Int), where Nothing means ther is a loop, n means it has n parents. |
| 2025-12-16 13:58:40 +0100 | <kuribas> | I guess no, because it will just loop? |
| 2025-12-16 13:58:34 +0100 | <kuribas> | Can you use lazyness to determine if a graph has loops? |
| 2025-12-16 13:57:08 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2025-12-16 13:54:54 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-16 13:54:37 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-12-16 13:48:00 +0100 | <[exa]> | Leary: that's wonderful |
| 2025-12-16 13:45:41 +0100 | Googulator67 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-16 13:45:32 +0100 | Googulator67 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-16 13:45:24 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-12-16 13:42:42 +0100 | <Leary> | [exa], dminuoso: Bit late to the party, but I wrote something vaguely amusing: https://gist.github.com/LSLeary/e108d7a7ee27e0a9e9bee27fe9247910 |
| 2025-12-16 13:42:21 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2025-12-16 13:40:29 +0100 | Googulator67 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-16 13:40:11 +0100 | Googulator67 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-16 13:35:40 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-12-16 13:34:07 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 240 seconds) |
| 2025-12-16 13:33:38 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-12-16 13:32:35 +0100 | LainIwakura | (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 2025-12-16 13:32:27 +0100 | pavonia | (~user@user/siracusa) (Ping timeout: 252 seconds) |
| 2025-12-16 13:31:15 +0100 | latticepolytope | (~user@user/isekaijin) isekaijin |
| 2025-12-16 13:20:55 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Ping timeout: 240 seconds) |
| 2025-12-16 13:15:48 +0100 | Googulator67 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-16 13:15:41 +0100 | Googulator | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-16 13:08:29 +0100 | tromp | (~textual@2001:1c00:3487:1b00:dc21:3bf3:aa50:6091) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-16 13:07:45 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-16 13:01:10 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-12-16 13:00:43 +0100 | somemathguy | (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 2025-12-16 12:56:38 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-16 12:54:13 +0100 | bggd | (~bgg@user/bggd) bggd |
| 2025-12-16 12:54:13 +0100 | bggd | (~bgg@2a01:e0a:fd5:f510:fc9f:3e03:d92a:8f6) (Changing host) |
| 2025-12-16 12:54:12 +0100 | bggd | (~bgg@2a01:e0a:fd5:f510:fc9f:3e03:d92a:8f6) |
| 2025-12-16 12:45:37 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-12-16 12:40:56 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) Maxdamantus |
| 2025-12-16 12:40:49 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-16 12:40:11 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-16 12:39:40 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 255 seconds) |
| 2025-12-16 12:35:23 +0100 | trickard_ | trickard |