Newest at the top
| 2024-09-25 09:18:31 +0200 | <c_wraith> | (guards are always checked top to bottom) |
| 2024-09-25 09:18:17 +0200 | <c_wraith> | lean on specified evaluation order to get traced output in a specified order |
| 2024-09-25 09:17:50 +0200 | <c_wraith> | foo (x:xs) | traceShow (x, xs) False = undefined | otherwise = x + foo xs |
| 2024-09-25 09:17:08 +0200 | <Inst> | I'm just trying to figure out what "baby's first recursion" would look like with debug.trace |
| 2024-09-25 09:16:20 +0200 | <c_wraith> | Inst: I wouldn't do it that way. The order of evaluation of the arguments to (+) is indeterminate |
| 2024-09-25 09:14:26 +0200 | <tomsmeding> | bailsman: https://ncatlab.org/nlab/show/monad#definition seems to claim that yes, it is |
| 2024-09-25 09:14:14 +0200 | <Inst> | foo [] = 0 |
| 2024-09-25 09:14:09 +0200 | <Inst> | foo (x:xs) = traceShowId x + traceShow (show xs) (foo xs) |
| 2024-09-25 09:13:37 +0200 | <Inst> | Debug.Trace can be so cute |
| 2024-09-25 09:13:31 +0200 | <Inst> | huh |
| 2024-09-25 09:13:30 +0200 | Inst_ | Inst |
| 2024-09-25 09:12:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-25 09:07:33 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-25 09:07:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 09:01:29 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 09:00:35 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2024-09-25 09:00:01 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-25 08:56:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-25 08:56:06 +0200 | CiaoSen | (~Jura@2a05:5800:215:5700:ca4b:d6ff:fec1:99da) (Ping timeout: 265 seconds) |
| 2024-09-25 08:53:38 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-09-25 08:51:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 08:50:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-25 08:48:17 +0200 | <bailsman> | Is any monoid in the category of endofunctors necessarily a monad? |
| 2024-09-25 08:46:33 +0200 | bailsman | (~ejrietvel@revspace/participant/bailsman) bailsman |
| 2024-09-25 08:46:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 08:45:35 +0200 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (Read error: Connection reset by peer) |
| 2024-09-25 08:35:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-25 08:33:03 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-09-25 08:32:36 +0200 | rsoeldner | (~rsoeldner@p200300cf074e62d869a0b1f76b7df2e5.dip0.t-ipconnect.de) |
| 2024-09-25 08:30:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 08:29:53 +0200 | euleritian | (~euleritia@ip2504fbd4.dynamic.kabel-deutschland.de) |
| 2024-09-25 08:28:05 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 08:26:33 +0200 | euleritian | (~euleritia@dynamic-176-004-197-063.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-25 08:24:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-25 08:19:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 08:17:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-25 08:14:36 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-09-25 08:12:54 +0200 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) dagit |
| 2024-09-25 08:11:36 +0200 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (Remote host closed the connection) |
| 2024-09-25 08:08:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-25 08:07:19 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2024-09-25 08:03:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 07:57:20 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-25 07:52:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-25 07:46:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-25 07:44:06 +0200 | rosco | (~rosco@175.136.158.234) rosco |
| 2024-09-25 07:43:02 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-09-25 07:42:30 +0200 | CiaoSen | (~Jura@2a05:5800:215:5700:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-09-25 07:42:08 +0200 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) dagit |
| 2024-09-25 07:42:03 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 246 seconds) |