Newest at the top
2024-04-28 13:01:48 +0200 | <ski> | sounds relevant, tomsmeding |
2024-04-28 13:01:48 +0200 | mrmr1553343 | (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
2024-04-28 13:01:40 +0200 | <int-e> | ski: I guess [] <= undefined *could* be defined but the report defines everything in terms of `compare` and [] `compare` undefined has to be bottom |
2024-04-28 13:01:19 +0200 | <tomsmeding> | ski: that would be the Last-Modified http header, right? |
2024-04-28 13:01:16 +0200 | <yin> | *good |
2024-04-28 13:01:11 +0200 | <yin> | goog conversation nontheless |
2024-04-28 12:59:41 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
2024-04-28 12:59:35 +0200 | <yin> | lol i need to wake up |
2024-04-28 12:59:18 +0200 | <ski> | (it was an answer) |
2024-04-28 12:59:06 +0200 | <int-e> | yin: that wasn't a question |
2024-04-28 12:58:53 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2024-04-28 12:58:42 +0200 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) |
2024-04-28 12:58:35 +0200 | <yin> | int-e: is it clear now? |
2024-04-28 12:58:11 +0200 | <lambdabot> | *Exception: Prelude.undefined |
2024-04-28 12:58:09 +0200 | <ski> | > [0] <= 0:undefined |
2024-04-28 12:58:03 +0200 | <lambdabot> | *Exception: Prelude.undefined |
2024-04-28 12:58:02 +0200 | <ski> | > [0] >= 0:undefined |
2024-04-28 12:57:54 +0200 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Quit: ZNC 1.9.0 - https://znc.in) |
2024-04-28 12:56:58 +0200 | <lambdabot> | False |
2024-04-28 12:56:57 +0200 | <yin> | > [0] >= [0,undefined] |
2024-04-28 12:55:45 +0200 | <lambdabot> | True |
2024-04-28 12:55:44 +0200 | <tomsmeding> | > [1] >= repeat 0 |
2024-04-28 12:55:31 +0200 | <lambdabot> | False |
2024-04-28 12:55:30 +0200 | <yin> | > [] >= [0] |
2024-04-28 12:55:25 +0200 | <lambdabot> | False |
2024-04-28 12:55:23 +0200 | <yin> | > [0] >= [0,0] |
2024-04-28 12:54:04 +0200 | <tomsmeding> | hm I guess |
2024-04-28 12:53:47 +0200 | <lambdabot> | False |
2024-04-28 12:53:46 +0200 | <int-e> | > [1,0] >= [1,0,0] |
2024-04-28 12:53:12 +0200 | <tomsmeding> | can somebody tell me why cabal does not consider 1.0 >= 1.0.0 |
2024-04-28 12:52:26 +0200 | Lord_of_Life_ | Lord_of_Life |
2024-04-28 12:52:04 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2024-04-28 12:51:16 +0200 | <tomsmeding> | (had to choose some value) |
2024-04-28 12:51:10 +0200 | <ski> | *nod* |
2024-04-28 12:50:59 +0200 | <tomsmeding> | it switches to a vertical stack below 800px width |
2024-04-28 12:50:54 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2024-04-28 12:50:51 +0200 | <tomsmeding> | yes |
2024-04-28 12:50:38 +0200 | <ski> | does it display the GHC output below, if the window's not wide enough ? |
2024-04-28 12:50:03 +0200 | <tomsmeding> | (oh that bug is trivially fixable) |
2024-04-28 12:49:58 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
2024-04-28 12:49:55 +0200 | <ski> | top is already a bar with some elements. could display it in there ? or, i guess, maybe could make a pop-up for some stuff, if reasonable |
2024-04-28 12:49:40 +0200 | <tomsmeding> | (there is already a UI bug where there is a range of window widths where the top bar doesn't fit but doesn't scroll yet) |
2024-04-28 12:49:32 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
2024-04-28 12:49:08 +0200 | <tomsmeding> | considering that the UI should still make some sense if the window is not terribly wide |
2024-04-28 12:48:51 +0200 | <tomsmeding> | where in the UI |
2024-04-28 12:48:47 +0200 | <Rembane> | +1 |
2024-04-28 12:48:27 +0200 | <ski> | (incidentally, having the page display when the paste was made, would also be useful info, imho) |
2024-04-28 12:45:11 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2024-04-28 12:43:46 +0200 | <ski> | (s/the more annoying thing/the more annoying case/) |
2024-04-28 12:42:42 +0200 | <ski> | "I now see that having a \"raw\" link would be terribly useful in that case, so I'll add that" -- great, thanks a bunch |