| 2023-01-20 00:02:03 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-01-20 00:03:44 +0100 | slac97552 | (~slack1256@181.42.49.194) |
| 2023-01-20 00:04:26 +0100 | Guest75 | (~Guest75@178.141.138.233) (Quit: Client closed) |
| 2023-01-20 00:05:56 +0100 | <bjourne> | Without flags, the command "cabal install" doesn't expose libraries in a usable manner. You might have wanted to run "cabal install --lib split". |
| 2023-01-20 00:06:04 +0100 | slack1256 | (~slack1256@181.42.49.194) (Ping timeout: 260 seconds) |
| 2023-01-20 00:06:21 +0100 | <bjourne> | but then if you run "cabal install --lib split" nothing happens |
| 2023-01-20 00:11:01 +0100 | <monochrom> | Something happened but behind your back. You will find that in raw ghci you have access to Data.List.Split now because of the --lib command. |
| 2023-01-20 00:11:22 +0100 | <geekosaur> | it may report that nothing was built, because it was already in the store. but you should now have a .ghc-environment file |
| 2023-01-20 00:11:29 +0100 | <geekosaur> | which ghci will find |
| 2023-01-20 00:11:44 +0100 | <monochrom> | This is because, as you said, the non--lib command earlier didn't expose it. Well, then afterwards the --lib command exposed it, no need to rebuild. |
| 2023-01-20 00:12:09 +0100 | <geekosaur> | sorry, .ghc.environment-<arch>-<ghcver> |
| 2023-01-20 00:12:30 +0100 | <geekosaur> | sorry, .ghc.environment.<arch>-<ghcver> |
| 2023-01-20 00:12:32 +0100 | <geekosaur> | (sheesh) |
| 2023-01-20 00:12:40 +0100 | <geekosaur> | always get that name wrong |
| 2023-01-20 00:13:02 +0100 | <monochrom> | Alternatively you can just run ghci and then notice the line "Loaded package environment from" and it has the pathname. :) |
| 2023-01-20 00:15:09 +0100 | acidjnk | (~acidjnk@p200300d6e715c43769415255d4cd64cd.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2023-01-20 00:18:44 +0100 | slac97552 | slack1256 |
| 2023-01-20 00:20:09 +0100 | myShoggoth | (~myShoggot@75.164.71.134) |
| 2023-01-20 00:24:51 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) (Remote host closed the connection) |
| 2023-01-20 00:25:29 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) |
| 2023-01-20 00:28:50 +0100 | AlexNoo_ | (~AlexNoo@178.34.160.228) |
| 2023-01-20 00:29:44 +0100 | Feuermagier_ | (~Feuermagi@45.88.97.193) (Ping timeout: 246 seconds) |
| 2023-01-20 00:30:39 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-01-20 00:30:56 +0100 | AlexZenon | (~alzenon@94.233.240.156) (Ping timeout: 272 seconds) |
| 2023-01-20 00:31:04 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2023-01-20 00:32:20 +0100 | AlexNoo | (~AlexNoo@94.233.240.156) (Ping timeout: 256 seconds) |
| 2023-01-20 00:32:50 +0100 | Alex_test | (~al_test@94.233.240.156) (Ping timeout: 272 seconds) |
| 2023-01-20 00:33:01 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-20 00:34:17 +0100 | AlexZenon | (~alzenon@178.34.160.228) |
| 2023-01-20 00:36:18 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2023-01-20 00:37:26 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 256 seconds) |
| 2023-01-20 00:38:12 +0100 | Alex_test | (~al_test@178.34.160.228) |
| 2023-01-20 00:45:51 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-01-20 00:45:56 +0100 | shapr | (~user@68.54.166.125) (Ping timeout: 256 seconds) |
| 2023-01-20 00:46:26 +0100 | <c_wraith> | another option that's reasonable is `cabal repl -b split` |
| 2023-01-20 00:46:48 +0100 | <c_wraith> | let cabal manage what libraries are installed and available separately and on-demand |
| 2023-01-20 00:51:58 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-01-20 00:52:30 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) (Ping timeout: 260 seconds) |
| 2023-01-20 00:55:28 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-01-20 00:57:49 +0100 | mei | (~mei@user/mei) |
| 2023-01-20 01:01:18 +0100 | iqubic | (~avi@2601:602:9502:c70:2552:12e6:de48:4662) (Remote host closed the connection) |
| 2023-01-20 01:05:33 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-01-20 01:05:44 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-01-20 01:06:30 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) |
| 2023-01-20 01:08:28 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-01-20 01:08:28 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-01-20 01:08:28 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-01-20 01:16:32 +0100 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2023-01-20 01:22:28 +0100 | slack1256 | (~slack1256@181.42.49.194) (Remote host closed the connection) |
| 2023-01-20 01:26:20 +0100 | kjak | (~kjak@pool-72-66-75-40.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2023-01-20 01:31:44 +0100 | kjak | (~kjak@pool-72-66-75-40.washdc.fios.verizon.net) |
| 2023-01-20 01:35:06 +0100 | ratapaca | (~ratapaca@98.40.240.33) |
| 2023-01-20 01:35:42 +0100 | beteigeuze | (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) |
| 2023-01-20 01:35:42 +0100 | beteigeuze | (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Client Quit) |
| 2023-01-20 01:36:15 +0100 | beteigeuze | (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) |
| 2023-01-20 01:36:30 +0100 | ratapaca | (~ratapaca@98.40.240.33) (Client Quit) |
| 2023-01-20 01:39:23 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2023-01-20 01:39:50 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2023-01-20 01:44:56 +0100 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-01-20 01:45:02 +0100 | jinsun__ | (~jinsun@user/jinsun) |
| 2023-01-20 01:45:02 +0100 | jinsun__ | jinsun |
| 2023-01-20 01:49:03 +0100 | jinsun__ | (~jinsun@user/jinsun) |
| 2023-01-20 01:49:03 +0100 | jinsun | Guest3897 |
| 2023-01-20 01:49:03 +0100 | jinsun__ | jinsun |
| 2023-01-20 01:49:16 +0100 | opticblast | (~Thunderbi@secure-165.caltech.edu) (Ping timeout: 252 seconds) |
| 2023-01-20 01:52:35 +0100 | Guest3897 | (~jinsun@user/jinsun) (Ping timeout: 260 seconds) |
| 2023-01-20 01:56:21 +0100 | son0p | (~ff@181.136.122.143) (Remote host closed the connection) |
| 2023-01-20 01:56:40 +0100 | fizbin | (~fizbin@user/fizbin) |
| 2023-01-20 02:03:25 +0100 | ddellacosta | (~ddellacos@143.244.47.89) |
| 2023-01-20 02:04:55 +0100 | son0p | (~ff@181.136.122.143) |
| 2023-01-20 02:05:27 +0100 | fizbin | (~fizbin@user/fizbin) (Remote host closed the connection) |
| 2023-01-20 02:05:46 +0100 | fizbin | (~fizbin@user/fizbin) |
| 2023-01-20 02:07:55 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) (Ping timeout: 256 seconds) |
| 2023-01-20 02:17:39 +0100 | xff0x_ | (~xff0x@2405:6580:b080:900:7906:80d7:17c8:7b72) (Ping timeout: 260 seconds) |
| 2023-01-20 02:22:20 +0100 | mncheck | (~mncheck@193.224.205.254) (Ping timeout: 260 seconds) |
| 2023-01-20 02:22:50 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) |
| 2023-01-20 02:24:54 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-01-20 02:26:26 +0100 | Luj3 | (~Luj@2a01:e0a:5f9:9681:d724:5a99:cff5:17e) (Quit: The Lounge - https://thelounge.chat) |
| 2023-01-20 02:26:41 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-01-20 02:26:49 +0100 | cheater_ | cheater |
| 2023-01-20 02:27:31 +0100 | ell7 | (~ellie@user/ellie) |
| 2023-01-20 02:27:38 +0100 | Luj3 | (~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) |
| 2023-01-20 02:29:15 +0100 | ell | (~ellie@user/ellie) (Ping timeout: 248 seconds) |
| 2023-01-20 02:29:16 +0100 | ell7 | ell |
| 2023-01-20 02:29:19 +0100 | chymera | (~chymera@ns1000526.ip-51-81-46.us) (Ping timeout: 260 seconds) |
| 2023-01-20 02:29:20 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) (Ping timeout: 260 seconds) |
| 2023-01-20 02:29:30 +0100 | f-chymera | (~chymera@ns1000526.ip-51-81-46.us) |
| 2023-01-20 02:32:04 +0100 | axel-bee | (~axel-bee@alexbenishek.com) (Quit: goodbye!) |
| 2023-01-20 02:32:10 +0100 | f-chymera | chymera |
| 2023-01-20 02:32:49 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-01-20 02:33:45 +0100 | troydm | (~troydm@user/troydm) |
| 2023-01-20 02:39:50 +0100 | bjourne | (~bjorn@94.191.152.137) (Read error: Connection reset by peer) |
| 2023-01-20 02:41:59 +0100 | beteigeuze | (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Quit: beteigeuze) |
| 2023-01-20 02:42:18 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) |
| 2023-01-20 02:42:29 +0100 | beteigeuze | (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) |
| 2023-01-20 02:44:02 +0100 | Umeaboy | (~Umeaboy@94-255-145-133.cust.bredband2.com) |
| 2023-01-20 02:44:12 +0100 | <Umeaboy> | Hi! |
| 2023-01-20 02:45:10 +0100 | <Umeaboy> | In theory, would it be possible to rebuild dependencies for ghc to another distro that also uses rpm? |
| 2023-01-20 02:46:03 +0100 | <Umeaboy> | Because I'm thinking about how I'm supposed to build an rpm for Mageia if ghc is installed in a non Mageia way. |
| 2023-01-20 02:46:46 +0100 | <Umeaboy> | I tried to change BuildRequires: ghc to /usr/bin/ghc as I've linked the ghc binary to /usr/bin/ghc |
| 2023-01-20 02:47:00 +0100 | <Umeaboy> | That should work. |
| 2023-01-20 02:47:06 +0100 | <Umeaboy> | But it doesn't. |
| 2023-01-20 02:50:10 +0100 | hounded_woodstoc | (~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) (Quit: Leaving) |
| 2023-01-20 02:50:10 +0100 | hounded | (~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) (Quit: Leaving) |
| 2023-01-20 02:52:56 +0100 | beteigeuze | (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Quit: beteigeuze) |
| 2023-01-20 03:01:22 +0100 | myShoggoth | (~myShoggot@75.164.71.134) (Quit: Leaving) |
| 2023-01-20 03:03:18 +0100 | xff0x_ | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-01-20 03:03:20 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-01-20 03:05:06 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-01-20 03:05:33 +0100 | <johnjaye> | if i get an error about getDirectoryContents and openDirStream, is that the haskell way of saying a file was not found? |
| 2023-01-20 03:05:54 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2023-01-20 03:06:15 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-01-20 03:07:03 +0100 | <Umeaboy> | johnjaye: Can you see the files where they are expected to be? |
| 2023-01-20 03:08:55 +0100 | <johnjaye> | i have no idea what isn't expected. i can show you the build output. it's an agda test. i was trying to do the agda compile hello world example and it failed |
| 2023-01-20 03:09:08 +0100 | <johnjaye> | https://dpaste.com/2NULH5LGB |
| 2023-01-20 03:09:46 +0100 | <johnjaye> | as best i can tell it creates a local build dir, then complains that build dir doesn't exist in /usr/share. which makes no sense to me. i should probably learn more about how ghc and haskell builds binaries so i can solve this kind of thing in the future |
| 2023-01-20 03:10:32 +0100 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 272 seconds) |
| 2023-01-20 03:15:45 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer) |
| 2023-01-20 03:16:48 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-01-20 03:17:33 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-20 03:18:05 +0100 | <johnjaye> | if you want to reproduce it it's easy. just search 'agda manual' and copy paste the hello-world.agda example |
| 2023-01-20 03:20:27 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2023-01-20 03:21:26 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in) |
| 2023-01-20 03:24:50 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 268 seconds) |
| 2023-01-20 03:32:06 +0100 | johnw | (~johnw@2600:1700:cf00:db0:1ccb:c50c:1e27:a866) (Quit: ZNC - http://znc.in) |
| 2023-01-20 03:39:08 +0100 | shapr | (~user@68.54.166.125) |
| 2023-01-20 03:43:21 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-01-20 03:49:24 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-01-20 03:49:46 +0100 | thongpv | (~thongpv87@2001:ee0:5577:f0d0:6759:d401:526a:6752) |
| 2023-01-20 03:58:36 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) (Ping timeout: 255 seconds) |
| 2023-01-20 03:58:36 +0100 | barzo | (~hd@31.223.41.44) (Ping timeout: 256 seconds) |
| 2023-01-20 04:00:08 +0100 | FragByte | (~christian@user/fragbyte) (Ping timeout: 246 seconds) |
| 2023-01-20 04:00:21 +0100 | FragByte | (~christian@user/fragbyte) |
| 2023-01-20 04:00:34 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-20 04:01:18 +0100 | thegeekinside | (~thegeekin@189.217.82.244) (Read error: Connection reset by peer) |
| 2023-01-20 04:02:52 +0100 | accord | (uid568320@id-568320.hampstead.irccloud.com) |
| 2023-01-20 04:04:32 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) |
| 2023-01-20 04:05:14 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2023-01-20 04:07:59 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2023-01-20 04:09:10 +0100 | Guest34 | (~Guest34@206.85.231.151) |
| 2023-01-20 04:12:46 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) (Ping timeout: 256 seconds) |
| 2023-01-20 04:14:46 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) (Remote host closed the connection) |
| 2023-01-20 04:19:28 +0100 | Guest34 | (~Guest34@206.85.231.151) (Ping timeout: 260 seconds) |
| 2023-01-20 04:19:50 +0100 | <mauke> | https://hackage.haskell.org/package/directory-1.3.8.0/docs/System-Directory.html#v:listDirectory |
| 2023-01-20 04:20:16 +0100 | <mauke> | > * isDoesNotExistError The directory does not exist. `[ENOENT, ENOTDIR]` |
| 2023-01-20 04:20:19 +0100 | <lambdabot> | <hint>:1:1: error: parse error on input ‘*’ |
| 2023-01-20 04:20:58 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) |
| 2023-01-20 04:22:57 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-20 04:24:46 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-01-20 04:27:02 +0100 | <mauke> | johnjaye: I haven't used agda before, but https://github.com/agda/agda/issues/4250#issuecomment-882292309 looks relevant |
| 2023-01-20 04:29:04 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 2023-01-20 04:29:46 +0100 | shapr | (~user@68.54.166.125) (Ping timeout: 256 seconds) |
| 2023-01-20 04:32:02 +0100 | <johnjaye> | well i mostly just wanted to know the basics |
| 2023-01-20 04:32:10 +0100 | <johnjaye> | like. is it invoking ghc to do the native compilation? |
| 2023-01-20 04:34:28 +0100 | <mauke> | from what I can tell: no, because of the other error |
| 2023-01-20 04:36:16 +0100 | <mauke> | also, can't reproduce. it just says agda: command not found |
| 2023-01-20 04:36:50 +0100 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 246 seconds) |
| 2023-01-20 04:41:22 +0100 | <johnjaye> | well. how did you install it. with cabal? |
| 2023-01-20 04:42:09 +0100 | <mauke> | install what? |
| 2023-01-20 04:42:14 +0100 | <johnjaye> | agda. |
| 2023-01-20 04:42:24 +0100 | <johnjaye> | you said you can't reproduce it |
| 2023-01-20 04:42:27 +0100 | <mauke> | I didn't |
| 2023-01-20 04:42:42 +0100 | <mauke> | "just search 'agda manual' and copy paste the hello-world.agda example" is what I did |
| 2023-01-20 04:42:54 +0100 | <johnjaye> | well right. but you have to have agda to test it... |
| 2023-01-20 04:43:09 +0100 | <johnjaye> | either from cabal or from the distro or git. those are the only 3 ways to install it |
| 2023-01-20 04:43:26 +0100 | <mauke> | how did you install it? |
| 2023-01-20 04:43:53 +0100 | <johnjaye> | from debian. sudo apt-get install agda and maybe agda-stdlib also |
| 2023-01-20 04:44:09 +0100 | <johnjaye> | i think the cabal command is 'cabal install Agda'. not sure if cabal is case senstivie or not |
| 2023-01-20 04:44:57 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-01-20 04:45:06 +0100 | razetime | (~Thunderbi@117.193.0.134) |
| 2023-01-20 04:51:18 +0100 | thongpv | (~thongpv87@2001:ee0:5577:f0d0:6759:d401:526a:6752) (Ping timeout: 256 seconds) |
| 2023-01-20 04:52:41 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 2023-01-20 04:52:42 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-01-20 04:53:38 +0100 | td_ | (~td@83.135.9.34) (Ping timeout: 268 seconds) |
| 2023-01-20 04:54:24 +0100 | ddellacosta | (~ddellacos@143.244.47.89) (Ping timeout: 272 seconds) |
| 2023-01-20 04:54:58 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-01-20 04:55:25 +0100 | td_ | (~td@83.135.9.28) |
| 2023-01-20 04:58:06 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 256 seconds) |
| 2023-01-20 05:01:36 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 255 seconds) |
| 2023-01-20 05:02:16 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-01-20 05:02:30 +0100 | ensyde | (~ensyde@104-62-224-96.lightspeed.chrlnc.sbcglobal.net) |
| 2023-01-20 05:02:45 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-01-20 05:07:32 +0100 | <johnjaye> | well at least that thread shows i'm not the only one having issues with it |
| 2023-01-20 05:07:39 +0100 | razetime | (~Thunderbi@117.193.0.134) (Ping timeout: 260 seconds) |
| 2023-01-20 05:08:09 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-20 05:15:06 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 256 seconds) |
| 2023-01-20 05:18:45 +0100 | AlexNoo_ | (~AlexNoo@178.34.160.228) (Read error: Connection reset by peer) |
| 2023-01-20 05:19:08 +0100 | AlexNoo_ | (~AlexNoo@178.34.160.228) |
| 2023-01-20 05:20:46 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2023-01-20 05:22:17 +0100 | thongpv | (~thongpv87@2001:ee0:5577:f0d0:f3dc:9749:cca4:d8e2) |
| 2023-01-20 05:24:05 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2023-01-20 05:26:26 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2023-01-20 05:29:43 +0100 | razetime | (~Thunderbi@117.193.0.134) |
| 2023-01-20 05:29:59 +0100 | mbuf | (~Shakthi@49.204.128.234) |
| 2023-01-20 05:34:39 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-20 05:37:10 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2023-01-20 05:39:07 +0100 | ddellacosta | (~ddellacos@static-198-44-136-91.cust.tzulo.com) |
| 2023-01-20 05:39:22 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 2023-01-20 05:58:20 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-20 06:03:04 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2023-01-20 06:13:59 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) (Ping timeout: 264 seconds) |
| 2023-01-20 06:20:25 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) |
| 2023-01-20 06:26:05 +0100 | Inst | (~Inst@2601:6c4:4081:54f0:7987:1b39:7203:fc61) |
| 2023-01-20 06:26:45 +0100 | <Inst> | wait |
| 2023-01-20 06:26:57 +0100 | <Inst> | is this actually accurate as to what Standard Chartered is really doing with haskelll / mu? |
| 2023-01-20 06:26:58 +0100 | <Inst> | https://news.ycombinator.com/item?id=23621080#23624598 |
| 2023-01-20 06:27:05 +0100 | <Inst> | it sounds like they're just using it as a better Python ;) |
| 2023-01-20 06:52:35 +0100 | accord | (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-01-20 06:54:34 +0100 | potash | (~foghorn@user/foghorn) (Read error: Connection reset by peer) |
| 2023-01-20 06:55:29 +0100 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 2023-01-20 06:58:38 +0100 | potash | (~foghorn@user/foghorn) |
| 2023-01-20 07:03:41 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2023-01-20 07:04:35 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-01-20 07:10:34 +0100 | tomku | (~tomku@user/tomku) (Ping timeout: 272 seconds) |
| 2023-01-20 07:20:28 +0100 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-01-20 07:26:58 +0100 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 252 seconds) |
| 2023-01-20 07:29:24 +0100 | trev | (~trev@user/trev) |
| 2023-01-20 07:31:06 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-01-20 07:33:39 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-01-20 07:35:08 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2023-01-20 07:43:11 +0100 | razetime | (~Thunderbi@117.193.0.134) (Quit: See You Space Cowboy) |
| 2023-01-20 07:47:20 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-01-20 07:53:50 +0100 | theproffesor | (~theproffe@user/theproffesor) (Read error: Connection reset by peer) |
| 2023-01-20 07:54:07 +0100 | theproffesor | (~theproffe@2601:282:8800:3f30::b942) |
| 2023-01-20 07:54:07 +0100 | theproffesor | (~theproffe@2601:282:8800:3f30::b942) (Changing host) |
| 2023-01-20 07:54:07 +0100 | theproffesor | (~theproffe@user/theproffesor) |
| 2023-01-20 07:57:45 +0100 | king_gs | (~Thunderbi@2806:103e:29:27ee:8e0c:52a2:b9a4:48c2) |
| 2023-01-20 08:07:00 +0100 | johnw | (~johnw@2600:1700:cf00:db0:dc38:4854:743c:eb7e) |
| 2023-01-20 08:07:56 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2023-01-20 08:08:38 +0100 | kenran | (~user@user/kenran) |
| 2023-01-20 08:09:23 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-20 08:10:29 +0100 | mncheckm | (~mncheck@193.224.205.254) |
| 2023-01-20 08:11:16 +0100 | mei | (~mei@user/mei) (Quit: mei) |
| 2023-01-20 08:11:37 +0100 | mei | (~mei@user/mei) |
| 2023-01-20 08:14:17 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds) |
| 2023-01-20 08:14:40 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 268 seconds) |
| 2023-01-20 08:14:44 +0100 | xff0x_ | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 256 seconds) |
| 2023-01-20 08:15:37 +0100 | xff0x_ | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-01-20 08:18:47 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-01-20 08:29:34 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-01-20 08:35:40 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) (Ping timeout: 252 seconds) |
| 2023-01-20 08:35:42 +0100 | cstml_ | (cstml@tilde.club) (Ping timeout: 256 seconds) |
| 2023-01-20 08:36:35 +0100 | cstml_ | (cstml@tilde.club) |
| 2023-01-20 08:38:12 +0100 | king_gs | (~Thunderbi@2806:103e:29:27ee:8e0c:52a2:b9a4:48c2) (Remote host closed the connection) |
| 2023-01-20 08:38:32 +0100 | king_gs | (~Thunderbi@2806:103e:29:27ee:8e0c:52a2:b9a4:48c2) |
| 2023-01-20 08:41:51 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:e4ab:d1cc:b750:28c5) |
| 2023-01-20 08:44:14 +0100 | pagnol | (~user@213-205-209-87.ftth.glasoperator.nl) |
| 2023-01-20 08:44:21 +0100 | vpan | (~0@212.117.1.172) |
| 2023-01-20 08:57:14 +0100 | tomjaguarpaw | (~tom@li367-225.members.linode.com) (Remote host closed the connection) |
| 2023-01-20 08:58:20 +0100 | acidjnk | (~acidjnk@p200300d6e715c43708b6eeaf838e6a62.dip0.t-ipconnect.de) |
| 2023-01-20 09:00:16 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-20 09:00:47 +0100 | Umeaboy | (~Umeaboy@94-255-145-133.cust.bredband2.com) (Quit: Leaving) |
| 2023-01-20 09:04:12 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-01-20 09:04:50 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2023-01-20 09:06:27 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) |
| 2023-01-20 09:06:29 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-01-20 09:11:15 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) (Ping timeout: 260 seconds) |
| 2023-01-20 09:17:06 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-01-20 09:17:32 +0100 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2023-01-20 09:19:53 +0100 | chele | (~chele@user/chele) |
| 2023-01-20 09:20:53 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 2023-01-20 09:25:20 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) |
| 2023-01-20 09:25:52 +0100 | gmg | (~user@user/gehmehgeh) |
| 2023-01-20 09:27:17 +0100 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat) |
| 2023-01-20 09:27:43 +0100 | gmg | (~user@user/gehmehgeh) (Client Quit) |
| 2023-01-20 09:29:22 +0100 | bjourne | (~bjorn@94.191.152.137.mobile.tre.se) |
| 2023-01-20 09:29:57 +0100 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-01-20 09:30:01 +0100 | bjourne | (~bjorn@94.191.152.137.mobile.tre.se) (Client Quit) |
| 2023-01-20 09:31:17 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-01-20 09:33:08 +0100 | nschoe | (~q@2a01:e0a:8e:a190:2521:9f:eb57:5336) |
| 2023-01-20 09:37:32 +0100 | ft | (~ft@p4fc2a257.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-01-20 09:38:04 +0100 | AlexNoo_ | AlexNoo |
| 2023-01-20 09:53:40 +0100 | avicenzi | (~avicenzi@2a00:ca8:a1f:b004::c32) |
| 2023-01-20 09:55:11 +0100 | fserucas | (~fserucas@50.4.115.89.rev.vodafone.pt) |
| 2023-01-20 09:55:40 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1812:9885:2ce4:4618) (Remote host closed the connection) |
| 2023-01-20 09:56:11 +0100 | king_gs | (~Thunderbi@2806:103e:29:27ee:8e0c:52a2:b9a4:48c2) (Remote host closed the connection) |
| 2023-01-20 09:56:27 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-01-20 09:56:33 +0100 | king_gs | (~Thunderbi@2806:103e:29:27ee:8e0c:52a2:b9a4:48c2) |
| 2023-01-20 10:00:09 +0100 | Clinton[m] | (~clintonme@2001:470:69fc:105::2:31d4) (Quit: You have been kicked for being idle) |
| 2023-01-20 10:00:57 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-01-20 10:02:31 +0100 | Xeroine | (~Xeroine@user/xeroine) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2023-01-20 10:02:50 +0100 | Xeroine | (~Xeroine@user/xeroine) |
| 2023-01-20 10:04:40 +0100 | thongpv | (~thongpv87@2001:ee0:5577:f0d0:f3dc:9749:cca4:d8e2) (Ping timeout: 256 seconds) |
| 2023-01-20 10:13:29 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) |
| 2023-01-20 10:20:09 +0100 | MajorBiscuit | (~MajorBisc@145.94.182.137) |
| 2023-01-20 10:26:46 +0100 | wildsebastian | (~wildsebas@2001:470:69fc:105::1:14b1) |
| 2023-01-20 10:27:54 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) (Ping timeout: 256 seconds) |
| 2023-01-20 10:31:06 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-01-20 10:35:08 +0100 | mechap | (~mechap@user/mechap) (Ping timeout: 272 seconds) |
| 2023-01-20 10:41:44 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) |
| 2023-01-20 10:42:43 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2023-01-20 10:46:05 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) (Ping timeout: 246 seconds) |
| 2023-01-20 10:46:54 +0100 | CiaoSen | (~Jura@p200300c9572d4e002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2023-01-20 10:47:50 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-01-20 10:52:19 +0100 | ubert | (~Thunderbi@2a02:8109:abc0:6434:80dd:892f:1068:89e8) |
| 2023-01-20 11:06:45 +0100 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.8) |
| 2023-01-20 11:08:03 +0100 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-01-20 11:09:54 +0100 | xff0x_ | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 265 seconds) |
| 2023-01-20 11:14:09 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) |
| 2023-01-20 11:22:14 +0100 | tomku | (~tomku@user/tomku) |
| 2023-01-20 11:22:15 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2023-01-20 11:24:32 +0100 | ensyde | (~ensyde@104-62-224-96.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 255 seconds) |
| 2023-01-20 11:25:51 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-01-20 11:31:48 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-01-20 11:42:18 +0100 | jco | (~jco@90-228-194-139-no542.tbcn.telia.com) |
| 2023-01-20 11:42:45 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2023-01-20 11:43:16 +0100 | pagnol | (~user@213-205-209-87.ftth.glasoperator.nl) (Ping timeout: 256 seconds) |
| 2023-01-20 11:44:22 +0100 | fserucas | (~fserucas@50.4.115.89.rev.vodafone.pt) (Ping timeout: 252 seconds) |
| 2023-01-20 11:46:17 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-01-20 11:48:23 +0100 | kenaryn | (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) |
| 2023-01-20 11:57:36 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:71a5:b1e9:85a5:f360) |
| 2023-01-20 12:02:06 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:71a5:b1e9:85a5:f360) (Ping timeout: 252 seconds) |
| 2023-01-20 12:04:36 +0100 | king_gs | (~Thunderbi@2806:103e:29:27ee:8e0c:52a2:b9a4:48c2) (Remote host closed the connection) |
| 2023-01-20 12:04:55 +0100 | king_gs | (~Thunderbi@2806:103e:29:27ee:8e0c:52a2:b9a4:48c2) |
| 2023-01-20 12:10:37 +0100 | fserucas | (~fserucas@2001:8a0:6d00:2500:4717:7619:c4e9:3aa2) |
| 2023-01-20 12:16:40 +0100 | xff0x_ | (~xff0x@2405:6580:b080:900:5aaf:7af0:29ef:e5fa) |
| 2023-01-20 12:17:27 +0100 | CiaoSen | (~Jura@p200300c9572d4e002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Quit: CiaoSen) |
| 2023-01-20 12:17:47 +0100 | king_gs | (~Thunderbi@2806:103e:29:27ee:8e0c:52a2:b9a4:48c2) (Ping timeout: 260 seconds) |
| 2023-01-20 12:18:03 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) (Ping timeout: 248 seconds) |
| 2023-01-20 12:28:45 +0100 | thongpv | (~thongpv87@2001:ee0:5577:f0d0:e31:de36:a415:b496) |
| 2023-01-20 12:31:48 +0100 | __monty__ | (~toonn@user/toonn) |
| 2023-01-20 12:34:15 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 260 seconds) |
| 2023-01-20 12:34:57 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) |
| 2023-01-20 12:36:27 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2023-01-20 12:39:14 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) (Ping timeout: 255 seconds) |
| 2023-01-20 12:41:15 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 260 seconds) |
| 2023-01-20 12:42:54 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-01-20 12:51:07 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) |
| 2023-01-20 12:53:04 +0100 | akegalj | (~akegalj@93-137-177-6.adsl.net.t-com.hr) |
| 2023-01-20 12:55:35 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2023-01-20 12:59:03 +0100 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2023-01-20 13:00:28 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-01-20 13:01:12 +0100 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 2023-01-20 13:24:07 +0100 | Taneb | (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Quit: I seem to have stopped.) |
| 2023-01-20 13:24:53 +0100 | tinwood | (~tinwood@canonical/tinwood) (Remote host closed the connection) |
| 2023-01-20 13:25:38 +0100 | Taneb | (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) |
| 2023-01-20 13:26:11 +0100 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) |
| 2023-01-20 13:26:11 +0100 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) (Changing host) |
| 2023-01-20 13:26:11 +0100 | tinwood | (~tinwood@canonical/tinwood) |
| 2023-01-20 13:42:32 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-01-20 13:42:59 +0100 | MajorBiscuit | (~MajorBisc@145.94.182.137) (Ping timeout: 260 seconds) |
| 2023-01-20 13:44:02 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2023-01-20 13:44:06 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-01-20 13:44:06 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Client Quit) |
| 2023-01-20 13:44:08 +0100 | cheater_ | cheater |
| 2023-01-20 13:44:24 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-01-20 13:45:12 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2023-01-20 13:49:29 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-01-20 13:49:50 +0100 | oldfashionedcow | GeneralKenobi |
| 2023-01-20 13:52:17 +0100 | GeneralKenobi | oldfashionedcow |
| 2023-01-20 13:52:33 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) (Ping timeout: 252 seconds) |
| 2023-01-20 13:52:59 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 2023-01-20 13:53:05 +0100 | cheater_ | cheater |
| 2023-01-20 13:54:30 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-01-20 13:57:47 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 2023-01-20 13:57:56 +0100 | cheater_ | cheater |
| 2023-01-20 14:00:23 +0100 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-01-20 14:03:23 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-01-20 14:03:56 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2023-01-20 14:06:43 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-01-20 14:21:02 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) |
| 2023-01-20 14:22:44 +0100 | MajorBiscuit | (~MajorBisc@145.94.182.137) |
| 2023-01-20 14:25:00 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2023-01-20 14:26:32 +0100 | Joao003 | (~Joao003@2804:840:8302:200:8db0:c9f7:e18:ca4d) |
| 2023-01-20 14:27:30 +0100 | <Joao003> | i'm reading "Learn You a Haskell for Great Good!" |
| 2023-01-20 14:28:15 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-01-20 14:28:53 +0100 | <johnjaye> | right now i'd appreciate equally "Learn you the syntax for ghc and the various support library locations". heh |
| 2023-01-20 14:29:22 +0100 | <merijn> | johnjaye: What do you mean? |
| 2023-01-20 14:29:23 +0100 | <Joao003> | lol |
| 2023-01-20 14:30:25 +0100 | <Joao003> | i'm reading it in learnyouahaskell.com |
| 2023-01-20 14:30:29 +0100 | accord | (uid568320@id-568320.hampstead.irccloud.com) |
| 2023-01-20 14:30:39 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-01-20 14:35:52 +0100 | razetime | (~Thunderbi@117.193.0.134) |
| 2023-01-20 14:43:23 +0100 | razetime | (~Thunderbi@117.193.0.134) (Remote host closed the connection) |
| 2023-01-20 14:46:15 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-20 14:47:16 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.7.1) |
| 2023-01-20 14:48:51 +0100 | <Joao003> | johnjaye: hoogle to find out where those puny little functions are |
| 2023-01-20 14:50:39 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 256 seconds) |
| 2023-01-20 14:50:39 +0100 | acidjnk | (~acidjnk@p200300d6e715c43708b6eeaf838e6a62.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2023-01-20 15:03:14 +0100 | ddellacosta | (~ddellacos@static-198-44-136-91.cust.tzulo.com) (Ping timeout: 260 seconds) |
| 2023-01-20 15:09:03 +0100 | thegeekinside | (~thegeekin@189.217.82.244) |
| 2023-01-20 15:11:56 +0100 | int-index | (~Vladislav@2a00:1370:8178:5994:5d59:37c6:8f29:3a14) |
| 2023-01-20 15:13:12 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-20 15:16:21 +0100 | int-index-r | (~Vladislav@2a00:1370:8178:5994:fd5e:8b6f:5e08:5d72) |
| 2023-01-20 15:18:34 +0100 | vpan | (~0@212.117.1.172) (Quit: Leaving.) |
| 2023-01-20 15:19:44 +0100 | int-index | (~Vladislav@2a00:1370:8178:5994:5d59:37c6:8f29:3a14) (Ping timeout: 256 seconds) |
| 2023-01-20 15:20:15 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2023-01-20 15:23:56 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) (Ping timeout: 255 seconds) |
| 2023-01-20 15:24:32 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-01-20 15:24:49 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2023-01-20 15:25:37 +0100 | cheater | (~Username@user/cheater) |
| 2023-01-20 15:29:07 +0100 | cheater_ | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2023-01-20 15:33:35 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-01-20 15:35:05 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2023-01-20 15:35:10 +0100 | cheater_ | cheater |
| 2023-01-20 15:35:19 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-01-20 15:42:05 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-01-20 15:43:31 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-20 15:47:46 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) |
| 2023-01-20 15:48:03 +0100 | akegalj | (~akegalj@93-137-177-6.adsl.net.t-com.hr) (Quit: leaving) |
| 2023-01-20 15:48:18 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 265 seconds) |
| 2023-01-20 16:06:01 +0100 | thongpv | (~thongpv87@2001:ee0:5577:f0d0:e31:de36:a415:b496) (Ping timeout: 256 seconds) |
| 2023-01-20 16:06:21 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-01-20 16:06:33 +0100 | Guest75 | (~Guest75@178.141.138.233) |
| 2023-01-20 16:10:32 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:e4ab:d1cc:b750:28c5) (Quit: WeeChat 2.8) |
| 2023-01-20 16:10:39 +0100 | ft | (~ft@p4fc2a257.dip0.t-ipconnect.de) |
| 2023-01-20 16:11:07 +0100 | Me-me | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) (Ping timeout: 252 seconds) |
| 2023-01-20 16:11:44 +0100 | razetime | (~Thunderbi@117.193.0.134) |
| 2023-01-20 16:17:08 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 2023-01-20 16:17:37 +0100 | coot | (~coot@213.134.171.3) |
| 2023-01-20 16:18:06 +0100 | jco | (~jco@90-228-194-139-no542.tbcn.telia.com) (Ping timeout: 256 seconds) |
| 2023-01-20 16:18:53 +0100 | oldfashionedcow | iamnotben |
| 2023-01-20 16:22:51 +0100 | mncheckm | (~mncheck@193.224.205.254) (Read error: Connection reset by peer) |
| 2023-01-20 16:23:16 +0100 | iamnotben | oldfashionedcow |
| 2023-01-20 16:25:02 +0100 | oldfashionedcow | iamoldfashionedc |
| 2023-01-20 16:25:09 +0100 | iamoldfashionedc | oldfashionedcow |
| 2023-01-20 16:31:49 +0100 | trev | (~trev@user/trev) (Remote host closed the connection) |
| 2023-01-20 16:34:23 +0100 | Me-me | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) |
| 2023-01-20 16:34:43 +0100 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-01-20 16:37:36 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-01-20 16:41:29 +0100 | king_gs | (~Thunderbi@187.201.20.38) |
| 2023-01-20 16:45:31 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-01-20 16:47:26 +0100 | Joao003 | (~Joao003@2804:840:8302:200:8db0:c9f7:e18:ca4d) (Quit: Leaving) |
| 2023-01-20 16:50:58 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) (Ping timeout: 256 seconds) |
| 2023-01-20 16:51:59 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-20 16:56:45 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2023-01-20 16:57:46 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 256 seconds) |
| 2023-01-20 16:58:05 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 2023-01-20 16:58:12 +0100 | mechap | (~mechap@user/mechap) |
| 2023-01-20 16:58:47 +0100 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-01-20 16:59:47 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-01-20 17:00:06 +0100 | amano[m] | (~amanocute@2001:470:69fc:105::2:d3f4) (Quit: You have been kicked for being idle) |
| 2023-01-20 17:00:07 +0100 | ThngPhmVn[m] | (~thongpv87@2001:470:69fc:105::2:e2e8) (Quit: You have been kicked for being idle) |
| 2023-01-20 17:00:38 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-01-20 17:01:12 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-01-20 17:02:19 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-01-20 17:02:58 +0100 | <johnjaye> | merijn: ah i'm trying to mess with agda a little bit |
| 2023-01-20 17:03:08 +0100 | the_proffesor | (~theproffe@2601:282:8800:3f30::b942) |
| 2023-01-20 17:03:08 +0100 | the_proffesor | (~theproffe@2601:282:8800:3f30::b942) (Changing host) |
| 2023-01-20 17:03:08 +0100 | the_proffesor | (~theproffe@user/theproffesor) |
| 2023-01-20 17:03:20 +0100 | <johnjaye> | i followed the tutorial and it can eval things properly. but when i tried the compile command which I *believe* uses ghc it failed |
| 2023-01-20 17:04:11 +0100 | theproffesor | (~theproffe@user/theproffesor) (Read error: Connection reset by peer) |
| 2023-01-20 17:04:13 +0100 | jinsun__ | (~jinsun@user/jinsun) |
| 2023-01-20 17:04:13 +0100 | jinsun | (~jinsun@user/jinsun) (Killed (osmium.libera.chat (Nickname regained by services))) |
| 2023-01-20 17:04:13 +0100 | jinsun__ | jinsun |
| 2023-01-20 17:05:54 +0100 | king_gs | (~Thunderbi@187.201.20.38) (Ping timeout: 272 seconds) |
| 2023-01-20 17:10:59 +0100 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) (Ping timeout: 260 seconds) |
| 2023-01-20 17:11:47 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 2023-01-20 17:12:17 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2023-01-20 17:15:59 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2023-01-20 17:18:11 +0100 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-01-20 17:18:31 +0100 | kurbus | (~kurbus@user/kurbus) |
| 2023-01-20 17:20:58 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2023-01-20 17:21:45 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) |
| 2023-01-20 17:22:00 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-01-20 17:24:50 +0100 | accord | (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-01-20 17:25:21 +0100 | troydm | (~troydm@user/troydm) (Ping timeout: 268 seconds) |
| 2023-01-20 17:29:29 +0100 | johnjaye | (~pi@173.209.64.74) (Ping timeout: 255 seconds) |
| 2023-01-20 17:30:51 +0100 | kenaryn | (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) (Quit: leaving) |
| 2023-01-20 17:31:31 +0100 | johnjaye | (~pi@173.209.64.74) |
| 2023-01-20 17:34:22 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-01-20 17:35:29 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-01-20 17:35:55 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-20 17:37:19 +0100 | ubert | (~Thunderbi@2a02:8109:abc0:6434:80dd:892f:1068:89e8) (Quit: ubert) |
| 2023-01-20 17:40:16 +0100 | avicenzi | (~avicenzi@2a00:ca8:a1f:b004::c32) (Ping timeout: 256 seconds) |
| 2023-01-20 17:40:26 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 265 seconds) |
| 2023-01-20 17:43:48 +0100 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2023-01-20 17:44:37 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:71a5:b1e9:85a5:f360) |
| 2023-01-20 17:47:28 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-01-20 17:48:30 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2023-01-20 17:51:27 +0100 | jludwig | (~justin@li657-110.members.linode.com) (Quit: ZNC - https://znc.in) |
| 2023-01-20 17:52:28 +0100 | jludwig | (~justin@li657-110.members.linode.com) |
| 2023-01-20 17:54:28 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2023-01-20 18:00:25 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-20 18:01:08 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 246 seconds) |
| 2023-01-20 18:01:49 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:71a5:b1e9:85a5:f360) (Remote host closed the connection) |
| 2023-01-20 18:02:15 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-01-20 18:02:16 +0100 | int-index-r | (~Vladislav@2a00:1370:8178:5994:fd5e:8b6f:5e08:5d72) (Read error: Connection reset by peer) |
| 2023-01-20 18:02:39 +0100 | the_proffesor | (~theproffe@user/theproffesor) (Ping timeout: 260 seconds) |
| 2023-01-20 18:03:27 +0100 | theproffesor | (~theproffe@user/theproffesor) |
| 2023-01-20 18:03:50 +0100 | theproffesor | (~theproffe@user/theproffesor) (Remote host closed the connection) |
| 2023-01-20 18:04:43 +0100 | theproffesor | (~theproffe@user/theproffesor) |
| 2023-01-20 18:04:58 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 252 seconds) |
| 2023-01-20 18:05:18 +0100 | int-index-r | (~Vladislav@2a00:1370:8178:5994:5d59:37c6:8f29:3a14) |
| 2023-01-20 18:07:47 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
| 2023-01-20 18:08:02 +0100 | MajorBiscuit | (~MajorBisc@145.94.182.137) (Ping timeout: 256 seconds) |
| 2023-01-20 18:10:43 +0100 | kurbus | (~kurbus@user/kurbus) (Quit: Client closed) |
| 2023-01-20 18:12:46 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-01-20 18:13:34 +0100 | kurbus | (~kurbus@user/kurbus) |
| 2023-01-20 18:16:53 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) (Ping timeout: 246 seconds) |
| 2023-01-20 18:18:11 +0100 | nschoe | (~q@2a01:e0a:8e:a190:2521:9f:eb57:5336) (Ping timeout: 264 seconds) |
| 2023-01-20 18:18:17 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) |
| 2023-01-20 18:18:54 +0100 | mbuf | (~Shakthi@49.204.128.234) (Quit: Leaving) |
| 2023-01-20 18:19:06 +0100 | theproffesor | (~theproffe@user/theproffesor) (Remote host closed the connection) |
| 2023-01-20 18:19:08 +0100 | the_proffesor | (~theproffe@2601:282:8800:3f30::b942) |
| 2023-01-20 18:19:08 +0100 | the_proffesor | (~theproffe@2601:282:8800:3f30::b942) (Changing host) |
| 2023-01-20 18:19:08 +0100 | the_proffesor | (~theproffe@user/theproffesor) |
| 2023-01-20 18:22:58 +0100 | razetime | (~Thunderbi@117.193.0.134) (Remote host closed the connection) |
| 2023-01-20 18:24:21 +0100 | MajorBiscuit | (~MajorBisc@145.94.182.137) |
| 2023-01-20 18:24:42 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:2d23:55b1:4fc0:b96b) (Remote host closed the connection) |
| 2023-01-20 18:25:01 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-01-20 18:25:59 +0100 | the_proffesor | (~theproffe@user/theproffesor) (Remote host closed the connection) |
| 2023-01-20 18:26:03 +0100 | Joao003 | (~Joao003@2804:840:8302:200:8db0:c9f7:e18:ca4d) |
| 2023-01-20 18:26:35 +0100 | the_proffesor | (~theproffe@user/theproffesor) |
| 2023-01-20 18:27:25 +0100 | the_proffesor | (~theproffe@user/theproffesor) (Remote host closed the connection) |
| 2023-01-20 18:27:45 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) (Ping timeout: 260 seconds) |
| 2023-01-20 18:27:53 +0100 | the_proffesor | (~theproffe@user/theproffesor) |
| 2023-01-20 18:32:19 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) |
| 2023-01-20 18:34:02 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:71a5:b1e9:85a5:f360) |
| 2023-01-20 18:41:13 +0100 | MajorBiscuit | (~MajorBisc@145.94.182.137) (Quit: WeeChat 3.6) |
| 2023-01-20 18:41:38 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) (Ping timeout: 260 seconds) |
| 2023-01-20 18:41:39 +0100 | acidjnk | (~acidjnk@p200300d6e715c42465a1f0513dc44661.dip0.t-ipconnect.de) |
| 2023-01-20 18:42:48 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) |
| 2023-01-20 18:45:13 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-01-20 18:45:54 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-20 18:46:20 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
| 2023-01-20 18:50:17 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 252 seconds) |
| 2023-01-20 18:51:54 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2023-01-20 18:52:46 +0100 | slaydr | (~slaydr@97-120-75-64.ptld.qwest.net) |
| 2023-01-20 18:53:03 +0100 | slaydr | (~slaydr@97-120-75-64.ptld.qwest.net) (Client Quit) |
| 2023-01-20 18:54:55 +0100 | slaydr | (~slaydr@97-120-75-64.ptld.qwest.net) |
| 2023-01-20 18:55:37 +0100 | <slaydr> | Is there a special channel I should use for QuickCheck questions? Or is this the channel? |
| 2023-01-20 18:56:18 +0100 | <sm> | this is the one |
| 2023-01-20 18:57:25 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-01-20 18:58:05 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2023-01-20 18:59:04 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-01-20 19:00:12 +0100 | <slaydr> | ok. i would like to test a cipher. I need two generators. One that will give me variable lists of alpha characters only. One that will give me variable lists of ascii characters only. Do those generators already exist in Test.QuickCHeck? Sorry, very new QC user |
| 2023-01-20 19:02:05 +0100 | fserucas | (~fserucas@2001:8a0:6d00:2500:4717:7619:c4e9:3aa2) (Ping timeout: 246 seconds) |
| 2023-01-20 19:03:20 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-20 19:06:06 +0100 | <c_wraith> | Nothing is built in for those, but they're pretty easy to create your own |
| 2023-01-20 19:07:32 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 256 seconds) |
| 2023-01-20 19:08:19 +0100 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-01-20 19:10:17 +0100 | nschoe | (~q@2a01:e0a:8e:a190:9a63:d2c6:61db:efb6) |
| 2023-01-20 19:10:24 +0100 | <slaydr> | thanks c_wraith. That narrows down my task |
| 2023-01-20 19:18:41 +0100 | nschoe | (~q@2a01:e0a:8e:a190:9a63:d2c6:61db:efb6) (Quit: Switching off) |
| 2023-01-20 19:19:08 +0100 | econo | (uid147250@user/econo) |
| 2023-01-20 19:25:07 +0100 | Vajb | (~Vajb@2001:999:78d:d7:457c:7773:573e:6903) (Read error: Connection reset by peer) |
| 2023-01-20 19:25:30 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-01-20 19:25:32 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-20 19:26:02 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-01-20 19:26:14 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) |
| 2023-01-20 19:28:14 +0100 | <Joao003> | there is almost no situation where you want to zip more than 4 lists |
| 2023-01-20 19:29:23 +0100 | int-index-r | (~Vladislav@2a00:1370:8178:5994:5d59:37c6:8f29:3a14) (Quit: Konversation terminated!) |
| 2023-01-20 19:29:42 +0100 | int-index | (~Vladislav@2a00:1370:8178:5994:5d59:37c6:8f29:3a14) |
| 2023-01-20 19:32:35 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 264 seconds) |
| 2023-01-20 19:34:36 +0100 | pja | (~pja@2a02:8010:6098:0:e65f:1ff:fe1f:660f) |
| 2023-01-20 19:36:57 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2023-01-20 19:36:57 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2023-01-20 19:37:29 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-01-20 19:38:32 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2023-01-20 19:38:50 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-01-20 19:39:05 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-01-20 19:40:47 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:8554:b812:ba01:8574) (Ping timeout: 256 seconds) |
| 2023-01-20 19:44:27 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 2023-01-20 19:45:35 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-20 19:47:06 +0100 | texasmynsted | (~texasmyns@99.96.221.112) |
| 2023-01-20 19:49:18 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:71a5:b1e9:85a5:f360) (Remote host closed the connection) |
| 2023-01-20 19:53:06 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 2023-01-20 19:53:44 +0100 | johnjaye | (~pi@173.209.64.74) (Ping timeout: 272 seconds) |
| 2023-01-20 19:55:03 +0100 | kurbus | (~kurbus@user/kurbus) (Quit: Client closed) |
| 2023-01-20 19:55:24 +0100 | johnjaye | (~pi@173.209.64.74) |
| 2023-01-20 19:55:26 +0100 | remedan_ | (~remedan@ip-89-177-74-251.bb.vodafone.cz) (Read error: Connection reset by peer) |
| 2023-01-20 19:55:36 +0100 | trev | (~trev@user/trev) |
| 2023-01-20 19:56:14 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Remote host closed the connection) |
| 2023-01-20 19:56:38 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-01-20 20:00:31 +0100 | remedan | (~remedan@ip-89-177-74-251.bb.vodafone.cz) |
| 2023-01-20 20:02:29 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-01-20 20:07:57 +0100 | mastarija | (~mastarija@188.252.197.161) |
| 2023-01-20 20:08:10 +0100 | johnjaye | (~pi@173.209.64.74) (Ping timeout: 256 seconds) |
| 2023-01-20 20:09:15 +0100 | <mastarija> | Is it possible to make a pattern synonym like this one: pattern MkPosed (Pose v ori) obj = Posed v (Oriented ori obj) |
| 2023-01-20 20:09:53 +0100 | johnjaye | (~pi@173.209.64.74) |
| 2023-01-20 20:09:56 +0100 | <mastarija> | Where I can construct a new value on the left side by shuffling the stuff on the right side and vice versa |
| 2023-01-20 20:10:43 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-01-20 20:13:16 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2023-01-20 20:14:21 +0100 | <[exa]> | mastarija: why not? |
| 2023-01-20 20:15:02 +0100 | <mastarija> | Ghc is complaining about the parentheses near Pose |
| 2023-01-20 20:15:35 +0100 | <[exa]> | you might need the bidirectional syntax |
| 2023-01-20 20:15:38 +0100 | <mastarija> | So I thought I've misunderstood something |
| 2023-01-20 20:15:44 +0100 | <Joao003> | wait what |
| 2023-01-20 20:15:52 +0100 | <mastarija> | Yes, I've tried this as well |
| 2023-01-20 20:15:59 +0100 | <mastarija> | just a sec I'll get the example |
| 2023-01-20 20:15:59 +0100 | <[exa]> | see here https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/pattern_synonyms.html at the place where they add 'where' af...ah okay |
| 2023-01-20 20:16:05 +0100 | <[exa]> | that should work though no? |
| 2023-01-20 20:17:40 +0100 | <c_wraith> | I think it should work with the =. |
| 2023-01-20 20:18:10 +0100 | <c_wraith> | It's probably a good idea to tell us what the actual error message is |
| 2023-01-20 20:18:40 +0100 | <[exa]> | mastarija: I think you'll need to use patterns in the 'where' section to deconstruct the Pose "manually" |
| 2023-01-20 20:18:45 +0100 | <mastarija> | pattern MkPosed{ Pose v ori, obj } <- Posed v (Oriented ori obj) where MkPosed{ Pose v ori, obj } = Posed v (Oriented ori obj) |
| 2023-01-20 20:19:07 +0100 | <mastarija> | Here it complains "parse error on input 'Pose'" |
| 2023-01-20 20:19:39 +0100 | <mastarija> | and with this: pattern MkPosed (Pose v ori) obj = Posed v (Oriented ori obj) |
| 2023-01-20 20:19:57 +0100 | <mastarija> | it says "parse error on input ‘(’" |
| 2023-01-20 20:20:11 +0100 | <[exa]> | I think you're forcing it to patternmatch a pattern |
| 2023-01-20 20:20:14 +0100 | <[exa]> | lemme try |
| 2023-01-20 20:20:38 +0100 | <mastarija> | Yes, I am. I thought this might be a problem, but then again, I thought it would be intuitive to work. |
| 2023-01-20 20:20:58 +0100 | <mastarija> | Or rather, it seemed logical :) |
| 2023-01-20 20:21:26 +0100 | <mastarija> | Pose is just a simple data constructor |
| 2023-01-20 20:21:29 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-01-20 20:21:30 +0100 | <c_wraith> | Oh, I see the issue. |
| 2023-01-20 20:21:41 +0100 | <c_wraith> | That doesn't even mean anything |
| 2023-01-20 20:21:52 +0100 | <mastarija> | It does to me :) |
| 2023-01-20 20:21:55 +0100 | <Joao003> | replace Pose v ori with ori :: Pose v |
| 2023-01-20 20:22:48 +0100 | <c_wraith> | No, it really doesn't mean anything. pattern definitions define patterns that work like constructors. |
| 2023-01-20 20:23:18 +0100 | <c_wraith> | Just like how in data constructors, you just specify the number and types of fields |
| 2023-01-20 20:23:19 +0100 | <mastarija> | So... no fancy functions? |
| 2023-01-20 20:23:32 +0100 | <c_wraith> | you don't specify that a particular field must be a particular constructor |
| 2023-01-20 20:24:37 +0100 | <mastarija> | Hm... any other way to achieve this? |
| 2023-01-20 20:24:49 +0100 | <c_wraith> | I don't know, because I don't know what you mean for it to do |
| 2023-01-20 20:25:57 +0100 | <mastarija> | Make life a bit easyer so I don't have to manually construct `Pose` when I'm deconstructing `Posed` |
| 2023-01-20 20:26:22 +0100 | <c_wraith> | But I don't know what that means |
| 2023-01-20 20:27:12 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-01-20 20:27:59 +0100 | <c_wraith> | that sounds like a thing you can do with a pattern synonym, but you need to make the entry on the left-hand side look like a pattern |
| 2023-01-20 20:28:41 +0100 | <[exa]> | mastarija: I think I found it |
| 2023-01-20 20:28:44 +0100 | <mauke> | pattern Tuple{ fst, snd } = (fst, snd) -- hmm |
| 2023-01-20 20:28:54 +0100 | anatta | (~AdiIRC@h-155-4-132-216.NA.cust.bahnhof.se) (Read error: Connection reset by peer) |
| 2023-01-20 20:29:12 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-01-20 20:29:13 +0100 | anatta | (~AdiIRC@h-155-4-132-216.NA.cust.bahnhof.se) |
| 2023-01-20 20:30:11 +0100 | oldfashionedcow | ineedafuckingnap |
| 2023-01-20 20:30:19 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-01-20 20:30:21 +0100 | <mastarija> | [exa]: :) |
| 2023-01-20 20:30:36 +0100 | ineedafuckingnap | oldfashionedcow |
| 2023-01-20 20:31:16 +0100 | <[exa]> | mastarija: looks like it needs ViewPatterns |
| 2023-01-20 20:31:25 +0100 | <[exa]> | https://gitlab.haskell.org/ghc/ghc/-/wikis/pattern-synonyms#explicitly-bidirectional-pattern-synon… |
| 2023-01-20 20:31:54 +0100 | <mastarija> | pattern MkPosed p obj <- ((^._posedPose) &&& (^._posedObj) -> (p,obj)) where MkPosed p obj = mkPosed p obj |
| 2023-01-20 20:32:10 +0100 | <mastarija> | yeah, this seems to be working |
| 2023-01-20 20:32:14 +0100 | <Joao003> | uh oh |
| 2023-01-20 20:32:41 +0100 | roconnor | (~quassel@coq/roconnor) |
| 2023-01-20 20:32:54 +0100 | <[exa]> | mastarija: does that go both ways? |
| 2023-01-20 20:33:17 +0100 | <[exa]> | ah yeah the other one is in the mkPosed fn |
| 2023-01-20 20:33:27 +0100 | <mastarija> | Yes, that's just a helper |
| 2023-01-20 20:33:29 +0100 | <[exa]> | cool |
| 2023-01-20 20:34:05 +0100 | <Joao003> | how does that work? |
| 2023-01-20 20:35:44 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:71a5:b1e9:85a5:f360) |
| 2023-01-20 20:36:41 +0100 | <[exa]> | Joao003: inserting patterns into other patterns |
| 2023-01-20 20:37:24 +0100 | <Joao003> | pattern matching inside pattern matching? |
| 2023-01-20 20:37:26 +0100 | <mastarija> | ViewPatterns are like pattern guards, so we check if this function constructed using arrow syntax results in a particular pattern |
| 2023-01-20 20:41:27 +0100 | kenran | (~user@user/kenran) |
| 2023-01-20 20:41:55 +0100 | Xeroine | (~Xeroine@user/xeroine) (Ping timeout: 260 seconds) |
| 2023-01-20 20:41:58 +0100 | Xeroine_ | (~Xeroine@user/xeroine) |
| 2023-01-20 20:43:52 +0100 | Midjak | (~Midjak@82.66.147.146) (Ping timeout: 256 seconds) |
| 2023-01-20 20:45:04 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-01-20 20:50:29 +0100 | Homer_Simpson | (uid550301@id-550301.uxbridge.irccloud.com) |
| 2023-01-20 20:50:33 +0100 | coot | (~coot@213.134.171.3) (Quit: coot) |
| 2023-01-20 20:50:55 +0100 | roconnor | (~quassel@coq/roconnor) () |
| 2023-01-20 20:56:04 +0100 | pagnol | (~user@213-205-209-87.ftth.glasoperator.nl) |
| 2023-01-20 20:56:48 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) |
| 2023-01-20 20:57:07 +0100 | Guest41 | (~Guest41@78-58-245-218.static.zebra.lt) |
| 2023-01-20 20:57:17 +0100 | Guest41 | (~Guest41@78-58-245-218.static.zebra.lt) (Client Quit) |
| 2023-01-20 20:58:04 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Remote host closed the connection) |
| 2023-01-20 20:58:23 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-01-20 20:58:24 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-01-20 20:59:04 +0100 | pagnol | (~user@213-205-209-87.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-01-20 21:02:28 +0100 | int-index | (~Vladislav@2a00:1370:8178:5994:5d59:37c6:8f29:3a14) (Quit: Konversation terminated!) |
| 2023-01-20 21:02:47 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds) |
| 2023-01-20 21:04:10 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) (Quit: WeeChat 3.7.1) |
| 2023-01-20 21:04:32 +0100 | barzo | (~hd@31.223.41.44) |
| 2023-01-20 21:04:37 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) |
| 2023-01-20 21:05:45 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-20 21:06:40 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-39.dsl.bell.ca) (Remote host closed the connection) |
| 2023-01-20 21:08:38 +0100 | Guest75 | (~Guest75@178.141.138.233) (Ping timeout: 260 seconds) |
| 2023-01-20 21:09:07 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-39.dsl.bell.ca) |
| 2023-01-20 21:09:21 +0100 | coot | (~coot@213.134.171.3) |
| 2023-01-20 21:10:22 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 2023-01-20 21:10:37 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) (Quit: WeeChat 3.7.1) |
| 2023-01-20 21:14:33 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-01-20 21:15:49 +0100 | <Joao003> | guys why is this not working |
| 2023-01-20 21:15:58 +0100 | <Joao003> | trying to implement inits by myself |
| 2023-01-20 21:16:30 +0100 | <Joao003> | > zipWith take [0..] "hi" |
| 2023-01-20 21:16:33 +0100 | <lambdabot> | error: |
| 2023-01-20 21:16:33 +0100 | <lambdabot> | • Couldn't match type ‘Char’ with ‘[a]’ |
| 2023-01-20 21:16:33 +0100 | <lambdabot> | Expected type: [[a]] |
| 2023-01-20 21:17:37 +0100 | <Clint> | what are the two arguments to zipWith? |
| 2023-01-20 21:17:48 +0100 | <Clint> | s/two/three/ |
| 2023-01-20 21:17:54 +0100 | tremon | (~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl) |
| 2023-01-20 21:18:06 +0100 | larrythecow | (~Rahul_San@user/oldfashionedcow) |
| 2023-01-20 21:19:14 +0100 | larrythecow | (~Rahul_San@user/oldfashionedcow) (Client Quit) |
| 2023-01-20 21:19:30 +0100 | larrythecow | (~Rahul_San@user/oldfashionedcow) |
| 2023-01-20 21:19:34 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2023-01-20 21:19:36 +0100 | larrythecow | (~Rahul_San@user/oldfashionedcow) (Client Quit) |
| 2023-01-20 21:20:40 +0100 | <mauke> | that's a map, not a zipWith |
| 2023-01-20 21:22:21 +0100 | <Joao003> | > inits "hi" |
| 2023-01-20 21:22:22 +0100 | <lambdabot> | ["","h","hi"] |
| 2023-01-20 21:22:29 +0100 | <Joao003> | should produce that |
| 2023-01-20 21:23:34 +0100 | <Clint> | so what you're expecting zipWith take [0..] "hi" to do is [take 0 "hi", take 1 "hi", take 2 "hi"] ? |
| 2023-01-20 21:23:41 +0100 | <geekosaur> | :t zipWith take [0…] |
| 2023-01-20 21:23:42 +0100 | <lambdabot> | error: |
| 2023-01-20 21:23:42 +0100 | <lambdabot> | A section must be enclosed in parentheses thus: (0 …) |
| 2023-01-20 21:23:51 +0100 | <geekosaur> | :t zipWith take [0..] |
| 2023-01-20 21:23:53 +0100 | <lambdabot> | [[a]] -> [[a]] |
| 2023-01-20 21:24:00 +0100 | <geekosaur> | note the type |
| 2023-01-20 21:26:03 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2023-01-20 21:26:23 +0100 | <Joao003> | OH. |
| 2023-01-20 21:26:46 +0100 | Vajb | (~Vajb@2001:999:78d:d7:457c:7773:573e:6903) |
| 2023-01-20 21:27:22 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) |
| 2023-01-20 21:28:52 +0100 | <Joao003> | > zipWith take [0..] . replicate (1 + length "hi") $ "hi" |
| 2023-01-20 21:28:53 +0100 | <lambdabot> | ["","h","hi"] |
| 2023-01-20 21:29:03 +0100 | <Joao003> | just need a replicate |
| 2023-01-20 21:29:18 +0100 | <anatta> | @let f xs = zipWith take [0 .. (length xs - 1)] (repeat xs) |
| 2023-01-20 21:29:19 +0100 | <lambdabot> | /sandbox/tmp/.L.hs:164:1: error: |
| 2023-01-20 21:29:19 +0100 | <lambdabot> | Multiple declarations of ‘f’ |
| 2023-01-20 21:29:19 +0100 | <lambdabot> | Declared at: /sandbox/tmp/.L.hs:160:1 |
| 2023-01-20 21:29:25 +0100 | <anatta> | @let f' xs = zipWith take [0 .. (length xs - 1)] (repeat xs) |
| 2023-01-20 21:29:27 +0100 | <lambdabot> | Defined. |
| 2023-01-20 21:29:39 +0100 | <mauke> | that seems silly |
| 2023-01-20 21:30:06 +0100 | <anatta> | it is |
| 2023-01-20 21:32:11 +0100 | Midjak | (~Midjak@82.66.147.146) |
| 2023-01-20 21:34:22 +0100 | <Joao003> | As I'm doing code golf I shortened it down to this: |
| 2023-01-20 21:34:44 +0100 | <Joao003> | > (\l->zipWith take[1..].replicate(1+length l)$l) "hi" -- golfed function! |
| 2023-01-20 21:34:45 +0100 | <lambdabot> | ["h","hi","hi"] |
| 2023-01-20 21:34:49 +0100 | <Joao003> | wait what |
| 2023-01-20 21:34:51 +0100 | <Joao003> | nooo |
| 2023-01-20 21:34:57 +0100 | <Joao003> | > (\l->zipWith take[0..].replicate(1+length l)$l) "hi" -- golfed function! |
| 2023-01-20 21:34:59 +0100 | <lambdabot> | ["","h","hi"] |
| 2023-01-20 21:35:42 +0100 | <Joao003> | even more golfed: |
| 2023-01-20 21:36:21 +0100 | <Joao003> | > (\l->zipWith take[0..(length l)]l)"hi" |
| 2023-01-20 21:36:23 +0100 | <lambdabot> | error: |
| 2023-01-20 21:36:23 +0100 | <lambdabot> | • Couldn't match type ‘Char’ with ‘[a]’ |
| 2023-01-20 21:36:23 +0100 | <lambdabot> | Expected type: [[a]] |
| 2023-01-20 21:36:47 +0100 | mechap | (~mechap@user/mechap) (Ping timeout: 264 seconds) |
| 2023-01-20 21:37:03 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:71a5:b1e9:85a5:f360) (Remote host closed the connection) |
| 2023-01-20 21:37:07 +0100 | <Joao003> | > (\l->zipWith take[0..(length l)](repeat l))"hi" |
| 2023-01-20 21:37:09 +0100 | <lambdabot> | ["","h","hi"] |
| 2023-01-20 21:37:42 +0100 | <mauke> | > (\l->map(`take`l)[0..length l])"hi" |
| 2023-01-20 21:37:44 +0100 | <lambdabot> | ["","h","hi"] |
| 2023-01-20 21:38:41 +0100 | mechap | (~mechap@user/mechap) |
| 2023-01-20 21:50:53 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-01-20 21:51:22 +0100 | batman_ | (~batman@c83-253-98-90.bredband.tele2.se) |
| 2023-01-20 21:55:00 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-01-20 21:57:00 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-01-20 22:01:59 +0100 | <slaydr> | quit |
| 2023-01-20 22:04:17 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-39.dsl.bell.ca) (Remote host closed the connection) |
| 2023-01-20 22:04:59 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-39.dsl.bell.ca) |
| 2023-01-20 22:12:22 +0100 | <hololeap> | I'm curious if Set.foldr' and Set.foldl' behave differently apart from what direction they go. since Set is always finite I would assume not? |
| 2023-01-20 22:12:23 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-01-20 22:12:56 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-01-20 22:13:42 +0100 | <pja> | hololeap: in what sense might they behave differently apart from the direction? |
| 2023-01-20 22:13:58 +0100 | <pja> | (presumably the direction is based on the ordering of the set?) |
| 2023-01-20 22:14:12 +0100 | <hololeap> | well, with lists you run into gotchas in the event that it's an infinite list |
| 2023-01-20 22:14:37 +0100 | <hololeap> | I think the answer is pretty obvious, but sometimes I have to ask in order to see that ;) |
| 2023-01-20 22:14:43 +0100 | <pja> | Yes, but Set is finite by definition? |
| 2023-01-20 22:15:11 +0100 | <pja> | I might be missing something, but I think your intuition is correct here :) |
| 2023-01-20 22:17:42 +0100 | <hololeap> | also, does this seem like a good implementation of unzip for Set? http://sprunge.us/8qTtfD |
| 2023-01-20 22:19:04 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2023-01-20 22:19:15 +0100 | <hololeap> | I guess unzip for Set is kind of a weird concept. might be code smell there |
| 2023-01-20 22:19:31 +0100 | acarrico | (~acarrico@dhcp-68-142-49-163.greenmountainaccess.net) |
| 2023-01-20 22:21:01 +0100 | <hololeap> | seeing how `unzip (fromList [(0,0), (0,1), (0,2), (0,3)])` == `(fromList [0], fromList [0,1,2,3])` |
| 2023-01-20 22:22:00 +0100 | <hololeap> | I'm working on an unfamiliar codebase and trying to see if I can replace some lists with Sets |
| 2023-01-20 22:23:27 +0100 | <hololeap> | thank the gods for HLS |
| 2023-01-20 22:28:07 +0100 | trev | (~trev@user/trev) (Remote host closed the connection) |
| 2023-01-20 22:28:31 +0100 | <hololeap> | they're passing around tuples of [FilePath] like no tomorrow... |
| 2023-01-20 22:29:08 +0100 | <hololeap> | at least make some newtypes... |
| 2023-01-20 22:29:18 +0100 | <hololeap> | or comments... sigh |
| 2023-01-20 22:29:47 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-01-20 22:29:53 +0100 | ham2 | (~ham@user/ham) |
| 2023-01-20 22:30:19 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-01-20 22:32:59 +0100 | hamster | (~ham@user/ham) (Ping timeout: 260 seconds) |
| 2023-01-20 22:34:13 +0100 | <anatta> | Joao003, mauke: not that I think you really care (especially not 1h later), but if you want short **and** almost reasonable looking :p |
| 2023-01-20 22:34:18 +0100 | <anatta> | f xs = [take n xs | n <- [0..length xs]] |
| 2023-01-20 22:36:24 +0100 | Albeit | (~Albeit@91.150.188.137) |
| 2023-01-20 22:36:43 +0100 | Albeit | (~Albeit@91.150.188.137) () |
| 2023-01-20 22:37:34 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:71a5:b1e9:85a5:f360) |
| 2023-01-20 22:37:51 +0100 | boxscape_ | (~boxscape_@81.191.27.107) |
| 2023-01-20 22:39:09 +0100 | <c_wraith> | anatta: you can probably find a lazier way to do that, which will work for an infinite input |
| 2023-01-20 22:39:15 +0100 | <boxscape_> | I'm compiling GLSL shaders using template haskell, but they are in separate (non-.hs) files. Is it possible to somehow tell ghc that this module needs to be recompiled whenever those shader files change? |
| 2023-01-20 22:39:55 +0100 | <boxscape_> | okay actually I'm *planning* to compile them using TH, I haven't actually done it yet |
| 2023-01-20 22:40:36 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2023-01-20 22:41:20 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-01-20 22:42:05 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:71a5:b1e9:85a5:f360) (Ping timeout: 260 seconds) |
| 2023-01-20 22:46:25 +0100 | Joao003 | (~Joao003@2804:840:8302:200:8db0:c9f7:e18:ca4d) (Quit: Leaving) |
| 2023-01-20 22:47:54 +0100 | <c_wraith> | boxscape_: https://hackage.haskell.org/package/template-haskell-2.19.0.0/docs/Language-Haskell-TH-Syntax.html… |
| 2023-01-20 22:48:10 +0100 | <boxscape_> | c_wraith cool, thank you |
| 2023-01-20 22:50:15 +0100 | mastarija | (~mastarija@188.252.197.161) (Quit: WeeChat 3.7.1) |
| 2023-01-20 23:00:20 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-01-20 23:01:03 +0100 | jinsun__ | (~jinsun@user/jinsun) |
| 2023-01-20 23:01:03 +0100 | jinsun | Guest2256 |
| 2023-01-20 23:01:03 +0100 | Guest2256 | (~jinsun@user/jinsun) (Killed (molybdenum.libera.chat (Nickname regained by services))) |
| 2023-01-20 23:01:03 +0100 | jinsun__ | jinsun |
| 2023-01-20 23:01:43 +0100 | OscarZ | (~oscarz@95.175.104.39) |
| 2023-01-20 23:02:09 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-01-20 23:02:18 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-01-20 23:05:02 +0100 | SethTisue | (sid14912@id-14912.ilkley.irccloud.com) () |
| 2023-01-20 23:05:24 +0100 | SethTisue | (sid14912@id-14912.ilkley.irccloud.com) |
| 2023-01-20 23:13:02 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-20 23:15:45 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-01-20 23:16:43 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) (Ping timeout: 260 seconds) |
| 2023-01-20 23:17:04 +0100 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-01-20 23:17:28 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 268 seconds) |
| 2023-01-20 23:18:59 +0100 | _xor | (~xor@74.215.182.83) (Read error: Connection reset by peer) |
| 2023-01-20 23:21:10 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-01-20 23:22:52 +0100 | _xor | (~xor@74.215.182.83) |
| 2023-01-20 23:24:28 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 2023-01-20 23:24:47 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-01-20 23:25:41 +0100 | batman_ | (~batman@c83-253-98-90.bredband.tele2.se) (Remote host closed the connection) |
| 2023-01-20 23:30:05 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-01-20 23:33:12 +0100 | CiaoSen | (~Jura@p200300c9572d4e002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2023-01-20 23:34:02 +0100 | gmg | (~user@user/gehmehgeh) |
| 2023-01-20 23:35:51 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) |
| 2023-01-20 23:41:33 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2023-01-20 23:41:48 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2023-01-20 23:43:32 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-01-20 23:49:24 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-01-20 23:50:04 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-01-20 23:51:38 +0100 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-01-20 23:51:53 +0100 | jinsun | (~jinsun@user/jinsun) |
| 2023-01-20 23:57:45 +0100 | Homer_Simpson | (uid550301@id-550301.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |