Logs: liberachat/#haskell
| 2021-08-19 18:23:06 | × | polyphem quits (~polyphem@ip5f5ac3ae.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2021-08-19 18:23:56 | <lechner> | okay, thanks for confirming! |
| 2021-08-19 18:23:58 | → | polyphem joins (~polyphem@2a02:810d:640:776c:bd0c:a594:ef4e:c3f3) |
| 2021-08-19 18:24:09 | × | polyphem quits (~polyphem@2a02:810d:640:776c:bd0c:a594:ef4e:c3f3) (Remote host closed the connection) |
| 2021-08-19 18:24:26 | <lechner> | unsaid: i came to that conclusion too |
| 2021-08-19 18:25:04 | <[exa]> | I'm doing that pretty much regularly |
| 2021-08-19 18:25:19 | → | polyphem joins (~polyphem@2a02:810d:640:776c:bd0c:a594:ef4e:c3f3) |
| 2021-08-19 18:25:22 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-19 18:25:28 | <[exa]> | you usually pay some recompilation time for it, but whatevs. |
| 2021-08-19 18:26:00 | <lechner> | just 'store' ? |
| 2021-08-19 18:26:35 | <kuribas> | oh, overloaded labels are pretty nice! I am replacing "getField @"act_from" site" with "view #act_from site" |
| 2021-08-19 18:27:03 | <kuribas> | looks much cleaner |
| 2021-08-19 18:27:55 | → | cryptogainz joins (~cryptogai@130-248-144-85.ftth.glasoperator.nl) |
| 2021-08-19 18:29:21 | <cryptogainz> | hey guys! |
| 2021-08-19 18:30:39 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-19 18:31:14 | <kuribas> | records are really nice with generic-lens + overloaded labels + duplicate record fields + named field puns + record wild cards |
| 2021-08-19 18:33:12 | × | polyphem quits (~polyphem@2a02:810d:640:776c:bd0c:a594:ef4e:c3f3) (Remote host closed the connection) |
| 2021-08-19 18:33:38 | → | polyphem joins (~polyphem@2a02:810d:640:776c:bd0c:a594:ef4e:c3f3) |
| 2021-08-19 18:33:39 | × | polyphem quits (~polyphem@2a02:810d:640:776c:bd0c:a594:ef4e:c3f3) (Remote host closed the connection) |
| 2021-08-19 18:34:15 | <kuribas> | and a little library I wrote to get record subsets, and generic mapping over fields: https://hackage.haskell.org/package/record-operations |
| 2021-08-19 18:35:46 | × | nschoe quits (~quassel@2a01:e0a:8e:a190:5e4f:be4b:9603:951e) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-08-19 18:36:42 | × | amk quits (~amk@176.61.106.150) (Ping timeout: 245 seconds) |
| 2021-08-19 18:38:34 | × | [Kalisto] quits (~nico@user/kalisto/x-8968079) (Ping timeout: 258 seconds) |
| 2021-08-19 18:38:52 | × | tfeb quits (~tfb@88.98.95.237) (Quit: died) |
| 2021-08-19 18:40:42 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-08-19 18:41:44 | × | rovert quits (uid389732@id-389732.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-08-19 18:43:49 | × | keutoi quits (~keutoi@223.238.95.231) (Quit: leaving) |
| 2021-08-19 18:44:03 | × | Cajun quits (~Cajun@user/cajun) (Quit: Client closed) |
| 2021-08-19 18:46:02 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-08-19 18:49:35 | <cryptogainz> | Anyone here looking to Cardano (Plutus) development? |
| 2021-08-19 18:51:07 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-08-19 18:53:17 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-19 19:00:26 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (*.net *.split) |
| 2021-08-19 19:00:26 | × | Cale quits (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (*.net *.split) |
| 2021-08-19 19:00:26 | × | Arsen quits (~arsen@managarm/dev/Arsen) (*.net *.split) |
| 2021-08-19 19:00:26 | × | thaumavorio quits (~thaumavor@thaumavor.io) (*.net *.split) |
| 2021-08-19 19:00:26 | × | idf quits (~idf@198.23.223.146) (*.net *.split) |
| 2021-08-19 19:00:26 | × | ellie quits (~ellie@user/ellie) (*.net *.split) |
| 2021-08-19 19:00:26 | × | Unode quits (~Unode@194.94.44.220) (*.net *.split) |
| 2021-08-19 19:00:26 | × | zyklotomic quits (~ethan@2604:a880:800:10::79f:8001) (*.net *.split) |
| 2021-08-19 19:00:26 | × | hyiltiz quits (~quassel@31.220.5.250) (*.net *.split) |
| 2021-08-19 19:00:26 | × | landonf quits (landonf@mac68k.info) (*.net *.split) |
| 2021-08-19 19:00:26 | × | joeyh quits (joeyh@kitenet.net) (*.net *.split) |
| 2021-08-19 19:00:26 | × | Natch quits (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (*.net *.split) |
| 2021-08-19 19:00:26 | × | piele quits (~piele@tbonesteak.creativeserver.net) (*.net *.split) |
| 2021-08-19 19:00:27 | × | cfebs quits (~cfebs@user/cfebs) (*.net *.split) |
| 2021-08-19 19:00:27 | × | anderson quits (~ande@134.209.221.71) (*.net *.split) |
| 2021-08-19 19:00:27 | × | ft quits (~ft@shell.chaostreff-dortmund.de) (*.net *.split) |
| 2021-08-19 19:00:27 | × | lambdabot quits (~lambdabot@haskell/bot/lambdabot) (*.net *.split) |
| 2021-08-19 19:00:27 | × | pierrot quits (~pi@user/pierrot) (*.net *.split) |
| 2021-08-19 19:00:27 | × | dexterfoo quits (dexter@2a01:7e00::f03c:91ff:fe86:59ec) (*.net *.split) |
| 2021-08-19 19:00:27 | × | amirouche quits (~amirouche@user/amirouche) (*.net *.split) |
| 2021-08-19 19:00:27 | × | oxytocat quits (~alloca@user/suppi) (*.net *.split) |
| 2021-08-19 19:00:27 | × | tristanC quits (~tristanC@user/tristanc) (*.net *.split) |
| 2021-08-19 19:00:27 | × | mrmonday quits (~robert@what.i.hope.is.not.a.tabernaevagant.es) (*.net *.split) |
| 2021-08-19 19:00:27 | × | Ferdirand quits (~somebody@2001:4c78:2012:5000::2) (*.net *.split) |
| 2021-08-19 19:00:27 | × | bwe quits (~bwe@2a01:4f8:1c1c:4878::2) (*.net *.split) |
| 2021-08-19 19:00:27 | × | feetwind quits (~mike@user/feetwind) (*.net *.split) |
| 2021-08-19 19:00:27 | × | tdammers quits (~tdammers@77.109.72.213.res.static.edpnet.net) (*.net *.split) |
| 2021-08-19 19:00:27 | × | AWizzArd quits (~code@user/awizzard) (*.net *.split) |
| 2021-08-19 19:00:27 | × | drakonis quits (drakonis@user/drakonis) (*.net *.split) |
| 2021-08-19 19:00:27 | × | mikolaj_ quits (~mikolaj@purple.well-typed.com) (*.net *.split) |
| 2021-08-19 19:00:27 | × | relrod quits (~relrod@redhat/ansible.staff.relrod) (*.net *.split) |
| 2021-08-19 19:00:27 | × | toms quits (~foobar@pogostick.net) (*.net *.split) |
| 2021-08-19 19:00:27 | × | ggvgc quits (~ggVGc@a.lowtech.earth) (*.net *.split) |
| 2021-08-19 19:00:33 | → | bwe joins (~bwe@2a01:4f8:1c1c:4878::2) |
| 2021-08-19 19:00:34 | → | Ferdirand joins (~somebody@2001:4c78:2012:5000::2) |
| 2021-08-19 19:00:35 | → | mrmonday joins (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
| 2021-08-19 19:00:36 | → | mikolaj joins (~mikolaj@purple.well-typed.com) |
| 2021-08-19 19:00:37 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 2021-08-19 19:00:38 | → | idf joins (~idf@198.23.223.146) |
| 2021-08-19 19:00:39 | → | piele joins (~piele@tbonesteak.creativeserver.net) |
| 2021-08-19 19:00:39 | → | relrod joins (~relrod@redhat/ansible.staff.relrod) |
| 2021-08-19 19:00:40 | <carbolymer> | is turtle... unintuitive? I mean, I don't know yet if it's learning curve, or everything is harder to do in turtle than bash :S |
| 2021-08-19 19:00:40 | → | tristanC joins (~tristanC@163.172.94.116) |
| 2021-08-19 19:00:42 | → | landonf joins (landonf@mac68k.info) |
| 2021-08-19 19:00:43 | → | dexterfoo joins (dexter@2a01:7e00::f03c:91ff:fe86:59ec) |
| 2021-08-19 19:00:44 | → | tdammers joins (~tdammers@77.109.72.213.res.static.edpnet.net) |
| 2021-08-19 19:00:44 | → | [Kalisto] joins (~nico@user/kalisto/x-8968079) |
| 2021-08-19 19:00:50 | → | ggvgc joins (~ggVGc@a.lowtech.earth) |
| 2021-08-19 19:00:50 | → | Cale joins (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) |
| 2021-08-19 19:00:51 | <[exa]> | by turtle you mean logo? |
| 2021-08-19 19:00:52 | → | Arsen joins (~arsen@managarm/dev/Arsen) |
| 2021-08-19 19:00:53 | × | tristanC quits (~tristanC@163.172.94.116) (Changing host) |
| 2021-08-19 19:00:53 | → | tristanC joins (~tristanC@user/tristanc) |
| 2021-08-19 19:00:58 | → | oxytocat joins (~alloca@user/suppi) |
| 2021-08-19 19:00:59 | → | feetwind joins (~mike@2406:d500:6:1:216:3cff:fe36:651) |
| 2021-08-19 19:01:00 | → | ft joins (~ft@shell.chaostreff-dortmund.de) |
| 2021-08-19 19:01:03 | → | drakonis joins (drakonis@2600:3c02::f03c:92ff:fe5e:b8bf) |
| 2021-08-19 19:01:04 | → | cfebs joins (~cfebs@user/cfebs) |
| 2021-08-19 19:01:07 | × | feetwind quits (~mike@2406:d500:6:1:216:3cff:fe36:651) (Signing in (feetwind)) |
| 2021-08-19 19:01:07 | → | feetwind joins (~mike@user/feetwind) |
| 2021-08-19 19:01:10 | → | amirouche joins (~amirouche@user/amirouche) |
| 2021-08-19 19:01:10 | × | drakonis quits (drakonis@2600:3c02::f03c:92ff:fe5e:b8bf) (Signing in (drakonis)) |
| 2021-08-19 19:01:10 | → | drakonis joins (drakonis@user/drakonis) |
| 2021-08-19 19:01:11 | → | joeyh joins (~joeyh@kitenet.net) |
| 2021-08-19 19:01:17 | → | ellie joins (~ellie@user/ellie) |
| 2021-08-19 19:01:29 | → | zyklotomic joins (~ethan@2604:a880:800:10::79f:8001) |
| 2021-08-19 19:01:33 | → | pierrot joins (~pi@user/pierrot) |
| 2021-08-19 19:01:35 | <monochrom> | No, turtle does unix shell things but in Haskell. |
All times are in UTC.