Logs: freenode/#haskell
| 2020-10-06 06:08:24 | × | GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 2020-10-06 06:08:24 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 2020-10-06 06:09:37 | <gnumonik> | The sort of people who might actually use the thing probably aren't going to do so if they have to deal with stack/cabal/etc though. My intended audience wasn't exactly coextensive with haskell users. Bleh. |
| 2020-10-06 06:10:11 | → | themsay[m] joins (themsaymat@gateway/shell/matrix.org/session) |
| 2020-10-06 06:10:11 | → | alvinsj[m] joins (alvinsjmat@gateway/shell/matrix.org/session) |
| 2020-10-06 06:10:11 | → | ezzieyguywuf joins (~Unknown@unaffiliated/ezzieyguywuf) |
| 2020-10-06 06:10:11 | → | joshmeredith joins (sid387798@gateway/web/irccloud.com/x-lhhtwrcyukiolswv) |
| 2020-10-06 06:10:11 | → | pong joins (chiya@2406:3003:2077:2341::babe) |
| 2020-10-06 06:10:11 | → | coeus joins (~coeus@p200300d02724ef00d20f0ecf5ac74df4.dip0.t-ipconnect.de) |
| 2020-10-06 06:10:11 | → | nopf joins (~frosch@static.179.17.76.144.clients.your-server.de) |
| 2020-10-06 06:10:11 | → | M2tias joins (m2@seri.fi) |
| 2020-10-06 06:10:11 | × | alvinsj[m] quits (alvinsjmat@gateway/shell/matrix.org/session) (Changing host) |
| 2020-10-06 06:10:11 | → | alvinsj[m] joins (alvinsjmat@gateway/shell/matrix.org/x-iedunhycfauwrdat) |
| 2020-10-06 06:10:11 | × | themsay[m] quits (themsaymat@gateway/shell/matrix.org/session) (Changing host) |
| 2020-10-06 06:10:11 | → | themsay[m] joins (themsaymat@gateway/shell/matrix.org/x-gldycjibrackcnzk) |
| 2020-10-06 06:10:18 | <dsal> | Sure, sure. But I don't install stack to interact with lambdabot :) |
| 2020-10-06 06:10:23 | × | themsay[m] quits (themsaymat@gateway/shell/matrix.org/x-gldycjibrackcnzk) (Max SendQ exceeded) |
| 2020-10-06 06:10:39 | → | danvet_ joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2020-10-06 06:11:05 | → | themsay[m] joins (themsaymat@gateway/shell/matrix.org/x-nqzuuncfdzjshmrp) |
| 2020-10-06 06:11:21 | <dsal> | > let halt = halt in halt |
| 2020-10-06 06:11:24 | <lambdabot> | *Exception: <<loop>> |
| 2020-10-06 06:11:41 | <dsal> | Look at that thing solving the halting problem. |
| 2020-10-06 06:12:05 | <dsal> | I wonder if I named it something else if it'd still figure out what I was doing. It's pretty clever... |
| 2020-10-06 06:14:55 | × | pierrot quits (~pi@unaffiliated/pierrot) (Ping timeout: 272 seconds) |
| 2020-10-06 06:19:38 | → | ym555 joins (~ym@156.199.113.15) |
| 2020-10-06 06:19:38 | → | seanvert joins (~user@177.84.244.242) |
| 2020-10-06 06:22:53 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 258 seconds) |
| 2020-10-06 06:24:17 | × | polyrain quits (~polyrain@130.102.13.177) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-06 06:24:35 | <gnumonik> | Wait is lambdabot actually parsing and evaluating this stuff? Like it's not just echoing to and from a ghci terminal somewhere? |
| 2020-10-06 06:25:59 | × | nbloomf quits (~nbloomf@2600:1700:83e0:1f40:71a4:5e3f:3433:7ae1) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-06 06:26:55 | × | snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 240 seconds) |
| 2020-10-06 06:27:07 | <gnumonik> | > foldr (+) [1..] |
| 2020-10-06 06:27:10 | <lambdabot> | error: |
| 2020-10-06 06:27:10 | <lambdabot> | • No instance for (Num [Integer]) arising from a use of ‘e_11’ |
| 2020-10-06 06:27:10 | <lambdabot> | • In the expression: e_11 |
| 2020-10-06 06:27:28 | <gnumonik> | Hm it does not work how I thought it did. |
| 2020-10-06 06:28:51 | → | yoeljacobsen joins (~yoel.jaco@5.28.167.89) |
| 2020-10-06 06:29:02 | <dsal> | yahb is more of just a ghci |
| 2020-10-06 06:30:57 | <gnumonik> | Well I think lambdabot actually solved my problem. Some combination of mueval and hint should allow me to not have to parse an infinite number of lenses. Yay. |
| 2020-10-06 06:32:04 | <dsal> | Yeah, that sounds pretty great. |
| 2020-10-06 06:33:45 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) () |
| 2020-10-06 06:35:20 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Remote host closed the connection) |
| 2020-10-06 06:35:42 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 2020-10-06 06:36:40 | → | polyrain joins (~polyrain@130.102.13.177) |
| 2020-10-06 06:36:47 | → | dhouthoo joins (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) |
| 2020-10-06 06:39:35 | → | snakemasterflex joins (~snakemast@213.100.206.23) |
| 2020-10-06 06:45:23 | × | falafel quits (~falafel@2605:e000:1527:d491:99fe:5613:f0a7:56f0) (Remote host closed the connection) |
| 2020-10-06 06:46:43 | → | pierrot joins (~pi@unaffiliated/pierrot) |
| 2020-10-06 06:52:35 | → | idhugo joins (~idhugo@eduroam06.au.dk) |
| 2020-10-06 06:52:48 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 2020-10-06 06:53:10 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2020-10-06 06:54:36 | → | falafel joins (~falafel@2605:e000:1527:d491:99fe:5613:f0a7:56f0) |
| 2020-10-06 06:55:42 | → | jden joins (~jden@185.244.214.216) |
| 2020-10-06 06:57:17 | × | idhugo quits (~idhugo@eduroam06.au.dk) (Ping timeout: 256 seconds) |
| 2020-10-06 06:59:24 | × | snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 260 seconds) |
| 2020-10-06 06:59:24 | → | albert_91 joins (~Albert@p200300e5ff0b5b4248a33bded2872db1.dip0.t-ipconnect.de) |
| 2020-10-06 06:59:35 | → | idhugo joins (~idhugo@users-1190.st.net.au.dk) |
| 2020-10-06 07:00:29 | → | alp joins (~alp@2a01:e0a:58b:4920:cc00:82e3:fd5:ee39) |
| 2020-10-06 07:00:37 | → | tbreslein joins (~tbreslein@2a02:8108:140:44f8::3cc4) |
| 2020-10-06 07:01:25 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 264 seconds) |
| 2020-10-06 07:01:30 | → | entropygain joins (levitate@unaffiliated/entropygain) |
| 2020-10-06 07:02:12 | → | mananamenos joins (~mananamen@84.122.202.215.dyn.user.ono.com) |
| 2020-10-06 07:02:32 | → | chele joins (~chele@ip5b416ea2.dynamic.kabel-deutschland.de) |
| 2020-10-06 07:02:50 | → | John20 joins (~John@82.46.59.122) |
| 2020-10-06 07:03:00 | → | snakemasterflex joins (~snakemast@213.100.206.23) |
| 2020-10-06 07:04:09 | × | thir quits (~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2020-10-06 07:04:29 | → | danvet joins (~danvet@2a02:168:57f4:0:5f80:650d:c6e6:3453) |
| 2020-10-06 07:04:33 | × | danvet quits (~danvet@2a02:168:57f4:0:5f80:650d:c6e6:3453) (Client Quit) |
| 2020-10-06 07:06:32 | × | tzh quits (~tzh@2601:448:c500:5300::143b) (Quit: zzz) |
| 2020-10-06 07:06:49 | × | shafox quits (~shafox@106.51.234.111) (Remote host closed the connection) |
| 2020-10-06 07:07:34 | → | mananamenos_ joins (~mananamen@84.122.202.215.dyn.user.ono.com) |
| 2020-10-06 07:07:41 | × | mananamenos_ quits (~mananamen@84.122.202.215.dyn.user.ono.com) (Read error: Connection reset by peer) |
| 2020-10-06 07:08:01 | → | shafox joins (~shafox@106.51.234.111) |
| 2020-10-06 07:08:04 | × | shatriff quits (~vitaliish@217.27.153.240) (Remote host closed the connection) |
| 2020-10-06 07:10:21 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Read error: Connection reset by peer) |
| 2020-10-06 07:10:45 | × | mananamenos quits (~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 240 seconds) |
| 2020-10-06 07:14:54 | → | oxide joins (~lambda@unaffiliated/mclaren) |
| 2020-10-06 07:15:49 | → | kritzefitz joins (~kritzefit@fw-front.credativ.com) |
| 2020-10-06 07:16:07 | → | SolarAquarion joins (SolarAquar@gateway/shell/panicbnc/x-wdutgpsghohoucfq) |
| 2020-10-06 07:16:52 | × | JohnTalent quits (~john@unaffiliated/johntalent) (Quit: leaving) |
| 2020-10-06 07:18:12 | × | albert_91 quits (~Albert@p200300e5ff0b5b4248a33bded2872db1.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-10-06 07:18:13 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 2020-10-06 07:18:18 | → | zacts joins (~zacts@dragora/developer/zacts) |
| 2020-10-06 07:19:47 | → | albert_91 joins (~Albert@p200300e5ff0b5b421cd7bb50d39404b6.dip0.t-ipconnect.de) |
| 2020-10-06 07:22:11 | → | ralejs_ joins (~ralejs@2620:10d:c093:400::5:2842) |
| 2020-10-06 07:22:11 | × | ralejs quits (~ralejs@2620:10d:c093:400::5:2842) (Read error: Connection reset by peer) |
| 2020-10-06 07:28:27 | hackage | serverless-haskell 0.12.4 - Deploying Haskell code onto AWS Lambda using Serverless https://hackage.haskell.org/package/serverless-haskell-0.12.4 (AlexeyKotlyarov) |
| 2020-10-06 07:29:42 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
| 2020-10-06 07:30:00 | → | GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 2020-10-06 07:30:00 | × | GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 2020-10-06 07:30:00 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 2020-10-06 07:31:35 | → | Sanchayan joins (~Sanchayan@136.185.184.11) |
| 2020-10-06 07:33:12 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:4f8:7c72:bd88:6c6a) |
| 2020-10-06 07:33:34 | × | zacts quits (~zacts@dragora/developer/zacts) (Quit: leaving) |
| 2020-10-06 07:35:19 | × | murphy_ quits (~murphy_@2604:2000:1281:8a9e:c24e:de35:eb75:8dab) (Remote host closed the connection) |
| 2020-10-06 07:35:37 | → | murphy_ joins (~murphy_@2604:2000:1281:8a9e:5be4:8f01:b36d:6549) |
| 2020-10-06 07:36:05 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 2020-10-06 07:38:03 | × | abhixec quits (~abhixec@c-67-169-141-95.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2020-10-06 07:38:37 | → | m0rphism joins (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) |
| 2020-10-06 07:43:54 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
All times are in UTC.