Newest at the top
| 2024-10-06 14:13:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-06 14:10:38 +0200 | <haskellbridge> | <eldritchcookie> this doesn't work due to the forall b -> introducing a new b and not visibly quantifiying the one already in scope |
| 2024-10-06 14:09:41 +0200 | <haskellbridge> | <eldritchcookie> like bitSize :: forall b -> Natural |
| 2024-10-06 14:09:26 +0200 | <haskellbridge> | <eldritchcookie> is there a method to visibly quantify a class method? |
| 2024-10-06 14:06:24 +0200 | <ncf> | and #categorytheory, to mention only IRC channels |
| 2024-10-06 14:01:54 +0200 | CiaoSen | (~Jura@2a05:5800:464:f400:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 2024-10-06 14:00:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-06 13:59:14 +0200 | <tomsmeding> | there is also #agda |
| 2024-10-06 13:58:54 +0200 | <tomsmeding> | lxsameer: there is ##dependent here but I'm not sure how appropriate it is |
| 2024-10-06 13:56:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-06 13:47:34 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-10-06 13:47:03 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-10-06 13:43:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-06 13:41:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-06 13:40:32 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:7d60:3680:b7b6:7b2d) (Ping timeout: 272 seconds) |
| 2024-10-06 13:38:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-06 13:29:13 +0200 | mrmr155334346318 | (~mrmr@user/mrmr) mrmr |
| 2024-10-06 13:26:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-06 13:22:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-06 13:18:07 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:7d60:3680:b7b6:7b2d) |
| 2024-10-06 13:09:18 +0200 | rosco | (~rosco@183.171.72.164) (Ping timeout: 252 seconds) |
| 2024-10-06 13:09:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-06 13:04:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-06 13:03:26 +0200 | mrmr155334346318 | (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
| 2024-10-06 12:53:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-06 12:50:48 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-10-06 12:50:30 +0200 | CiaoSen | (~Jura@2a05:5800:464:f400:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-10-06 12:48:50 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-10-06 12:48:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-06 12:43:08 +0200 | <Hecate> | nope sorry |
| 2024-10-06 12:40:54 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:e481:13d5:7eb4:8f9d) (Ping timeout: 246 seconds) |
| 2024-10-06 12:38:54 +0200 | <lxsameer> | hey folks, do you know any channel or forum dedicated to category theory and/or type theory? |
| 2024-10-06 12:38:35 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-10-06 12:37:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-06 12:34:03 +0200 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2024-10-06 12:33:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-06 12:29:55 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:e481:13d5:7eb4:8f9d) |
| 2024-10-06 12:28:17 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-10-06 12:25:34 +0200 | son0p | (~ff@186.121.110.81) (Remote host closed the connection) |
| 2024-10-06 12:24:13 +0200 | <lambdabot> | Consider it noted. |
| 2024-10-06 12:24:13 +0200 | <tomsmeding> | @tell artu you need :{ and :} to write multi-line definitions in ghci |
| 2024-10-06 12:23:56 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-10-06 12:23:10 +0200 | xff0x | (~xff0x@2405:6580:b080:900:e9cd:7fb:f9ec:b14e) |
| 2024-10-06 12:21:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-06 12:16:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-06 12:14:39 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-10-06 12:13:11 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:6ee5:dea:457b:d9d9) (Ping timeout: 252 seconds) |
| 2024-10-06 12:11:01 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 248 seconds) |
| 2024-10-06 12:03:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-06 12:01:38 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |