Newest at the top
| 2025-01-18 10:15:54 +0100 | <c_wraith> | the desugaring is part of the spec. The only thing lambdabot doesn't necessarily have is the definition of all the relevant data types |
| 2025-01-18 10:15:49 +0100 | <tomsmeding> | but in general that's what you're going to get from software -- even if you have formally proven software, that delegates the burden to the implementor of the proof tool, which is hopefully smaller and easier to check, but still to be checked manually |
| 2025-01-18 10:15:46 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-01-18 10:14:48 +0100 | <tomsmeding> | the author of lambdabot tried their best |
| 2025-01-18 10:14:02 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-18 10:13:07 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-01-18 10:12:43 +0100 | <chiselfuse> | are you sure that @undo is guaranteed to be correct in all cases? |
| 2025-01-18 10:11:51 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-01-18 10:10:35 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-01-18 10:09:48 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-01-18 10:09:34 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-18 10:09:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-18 10:08:32 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-01-18 10:07:53 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-01-18 10:06:37 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-01-18 10:06:23 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-01-18 10:05:06 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-01-18 10:04:58 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-01-18 10:04:57 +0100 | alp | (~alp@2001:861:8ca0:4940:a068:990b:3be7:3971) |
| 2025-01-18 10:04:13 +0100 | it_ | (~quassel@game-crew.ch) K4su |
| 2025-01-18 10:03:45 +0100 | CiaoSen | (~Jura@2a05:5800:220:2500:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds) |
| 2025-01-18 10:03:43 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-01-18 10:03:02 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-01-18 10:02:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-18 10:01:35 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-01-18 10:01:03 +0100 | it_ | (~quassel@game-crew.ch) (Client Quit) |
| 2025-01-18 10:00:59 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-01-18 09:59:54 +0100 | it_ | (~quassel@game-crew.ch) K4su |
| 2025-01-18 09:59:29 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-01-18 09:59:21 +0100 | it_ | (~quassel@game-crew.ch) (Quit: ,o>) |
| 2025-01-18 09:59:02 +0100 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
| 2025-01-18 09:58:50 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-01-18 09:57:24 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-01-18 09:57:14 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-01-18 09:55:57 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-01-18 09:55:45 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-01-18 09:54:21 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-01-18 09:53:53 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-01-18 09:53:35 +0100 | <haskellbridge> | <Bowuigi> You can't see what it desugars to, but you can build an intuition of what it does anyway |
| 2025-01-18 09:53:03 +0100 | <haskellbridge> | <Bowuigi> I guess you can just write the list comprehension in ghci and see if it works, along with the result |
| 2025-01-18 09:52:36 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-18 09:52:31 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-01-18 09:52:31 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-01-18 09:51:05 +0100 | Guest9464 | (~v@anomalous.eu) (Remote host closed the connection) |
| 2025-01-18 09:51:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-18 09:50:17 +0100 | Guest9464 | (~v@anomalous.eu) |
| 2025-01-18 09:48:51 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-01-18 09:46:08 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-01-18 09:44:51 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-01-18 09:44:31 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) V |