Logs: liberachat/#haskell
| 2025-10-15 13:33:11 | × | caconym7478798 quits (~caconym@174-21-66-74.tukw.qwest.net) (Max SendQ exceeded) |
| 2025-10-15 13:33:11 | × | sa quits (sid1055@id-1055.tinside.irccloud.com) (Max SendQ exceeded) |
| 2025-10-15 13:33:11 | × | ZLima12 quits (~zlima12@2600:4041:5f4d:7f00:eba5:2ece:a3f8:85b2) (Max SendQ exceeded) |
| 2025-10-15 13:33:18 | → | ZLima12 joins (~zlima12@user/meow/ZLima12) |
| 2025-10-15 13:33:22 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 260 seconds) |
| 2025-10-15 13:33:24 | → | jcarpenter2 joins (~lol@2603:3016:1e01:b9c0:4892:4dea:36cf:7d26) |
| 2025-10-15 13:33:25 | → | caconym7478798 joins (~caconym@user/caconym) |
| 2025-10-15 13:34:03 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-10-15 13:34:17 | → | sa joins (sid1055@id-1055.tinside.irccloud.com) |
| 2025-10-15 13:34:19 | → | septimi joins (9f60f4cb70@user/septimi) |
| 2025-10-15 13:34:32 | × | dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2025-10-15 13:34:37 | → | itaipu joins (~itaipu@168.121.97.28) |
| 2025-10-15 13:34:45 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2025-10-15 13:34:52 | → | divlamir joins (~divlamir@user/divlamir) |
| 2025-10-15 13:35:48 | → | fgarcia joins (~lei@user/fgarcia) |
| 2025-10-15 13:36:38 | × | anpad quits (~pandeyan@user/anpad) (Ping timeout: 256 seconds) |
| 2025-10-15 13:36:38 | × | YoungFrog quits (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Ping timeout: 256 seconds) |
| 2025-10-15 13:36:38 | × | weary-traveler quits (~user@user/user363627) (Read error: Connection reset by peer) |
| 2025-10-15 13:36:39 | × | bramh quits (~bramh@user/bramh) (Read error: Connection reset by peer) |
| 2025-10-15 13:36:39 | × | __monty__ quits (~toonn@user/toonn) (Ping timeout: 256 seconds) |
| 2025-10-15 13:36:39 | × | a_fantom quits (~fantom@90.244.183.5) (Ping timeout: 256 seconds) |
| 2025-10-15 13:36:39 | × | jrm quits (~jrm@user/jrm) (Quit: ciao) |
| 2025-10-15 13:36:39 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Read error: Connection reset by peer) |
| 2025-10-15 13:36:44 | → | YoungFrawg joins (~youngfrog@2a02:a03f:ca07:f900:6c28:6d36:bf0e:889) |
| 2025-10-15 13:36:48 | × | jreicher quits (~user@user/jreicher) (Ping timeout: 256 seconds) |
| 2025-10-15 13:36:48 | × | juri_ quits (~juri@implicitcad.org) (Ping timeout: 256 seconds) |
| 2025-10-15 13:36:48 | × | jjhoo quits (~jahakala@user/jjhoo) (Ping timeout: 256 seconds) |
| 2025-10-15 13:36:48 | × | APic quits (apic@apic.name) (Ping timeout: 256 seconds) |
| 2025-10-15 13:36:48 | × | Ekho quits (~Ekho@user/ekho) (Ping timeout: 256 seconds) |
| 2025-10-15 13:36:56 | → | bramh joins (~bramh@user/bramh) |
| 2025-10-15 13:37:01 | → | APic joins (apic@apic.name) |
| 2025-10-15 13:37:01 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2025-10-15 13:37:02 | → | jrm joins (~jrm@user/jrm) |
| 2025-10-15 13:37:06 | → | juri_ joins (~juri@implicitcad.org) |
| 2025-10-15 13:37:13 | → | weary-traveler joins (~user@user/user363627) |
| 2025-10-15 13:37:44 | YoungFrawg | is now known as YoungFrog |
| 2025-10-15 13:37:47 | → | __monty__ joins (~toonn@user/toonn) |
| 2025-10-15 13:38:10 | → | jreicher joins (~user@user/jreicher) |
| 2025-10-15 13:38:17 | → | jjhoo joins (~jahakala@user/jjhoo) |
| 2025-10-15 13:38:44 | → | anpad joins (~pandeyan@user/anpad) |
| 2025-10-15 13:38:46 | → | Natch joins (~natch@c-92-34-15-120.bbcust.telenor.se) |
| 2025-10-15 13:38:52 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 2025-10-15 13:39:25 | → | inline joins (~inline@2a02:8071:57a1:1260:c546:9b7c:fd36:2176) |
| 2025-10-15 13:39:48 | → | trickard joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-10-15 13:39:51 | → | Ekho joins (~Ekho@user/ekho) |
| 2025-10-15 13:41:39 | → | FANTOM joins (~fantom@90.244.183.5) |
| 2025-10-15 13:41:40 | → | inline_ joins (~inline@2a02:8071:57a1:1260:c546:9b7c:fd36:2176) |
| 2025-10-15 13:43:55 | × | inline_ quits (~inline@2a02:8071:57a1:1260:c546:9b7c:fd36:2176) (Remote host closed the connection) |
| 2025-10-15 13:44:14 | → | inline_ joins (~inline@2a02:8071:57a1:1260:c546:9b7c:fd36:2176) |
| 2025-10-15 13:45:17 | × | inline quits (~inline@2a02:8071:57a1:1260:c546:9b7c:fd36:2176) (Ping timeout: 244 seconds) |
| 2025-10-15 13:46:14 | → | qqe joins (~qqq@185.54.23.200) |
| 2025-10-15 13:48:25 | × | inline_ quits (~inline@2a02:8071:57a1:1260:c546:9b7c:fd36:2176) (Remote host closed the connection) |
| 2025-10-15 13:48:48 | → | inline_ joins (~inline@2a02:8071:57a1:1260:c546:9b7c:fd36:2176) |
| 2025-10-15 13:49:31 | × | qqe quits (~qqq@185.54.23.200) (Remote host closed the connection) |
| 2025-10-15 13:49:37 | inline_ | is now known as inline |
| 2025-10-15 13:49:50 | → | qqe joins (~qqq@185.54.23.200) |
| 2025-10-15 13:49:56 | → | caconym74787983 joins (~caconym@user/caconym) |
| 2025-10-15 13:50:09 | × | caconym7478798 quits (~caconym@user/caconym) (Quit: Ping timeout (120 seconds)) |
| 2025-10-15 13:50:09 | caconym74787983 | is now known as caconym7478798 |
| 2025-10-15 13:50:42 | × | Natch quits (~natch@c-92-34-15-120.bbcust.telenor.se) (Remote host closed the connection) |
| 2025-10-15 13:53:26 | → | trickard__ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-10-15 13:54:37 | × | trickard quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-10-15 13:55:54 | → | Natch joins (~natch@c-92-34-15-120.bbcust.telenor.se) |
| 2025-10-15 13:56:22 | → | inline_ joins (~inline@2a02:8071:57a1:1260:30a1:2a21:7e45:e8e4) |
| 2025-10-15 13:56:33 | × | inline quits (~inline@2a02:8071:57a1:1260:c546:9b7c:fd36:2176) (Killed (osmium.libera.chat (Nickname regained by services))) |
| 2025-10-15 13:56:33 | inline_ | is now known as Inline |
| 2025-10-15 13:57:09 | → | Tri joins (~tnguyen@69.74.159.34) |
| 2025-10-15 13:58:17 | × | trickard__ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
| 2025-10-15 14:01:09 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
| 2025-10-15 14:01:51 | → | ystael joins (~ystael@user/ystael) |
| 2025-10-15 14:03:33 | → | fp joins (~Thunderbi@wireless-86-50-141-225.open.aalto.fi) |
| 2025-10-15 14:04:08 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-10-15 14:07:51 | → | Square joins (~Square4@user/square) |
| 2025-10-15 14:08:36 | → | craunts795335385 joins (~craunts@136.158.7.194) |
| 2025-10-15 14:18:38 | trickard_ | is now known as trickard |
| 2025-10-15 14:18:56 | × | MelodyOwO quits (~MelodyOwO@user/MelodyOwO) (Quit: Leaving.) |
| 2025-10-15 14:25:29 | × | fp quits (~Thunderbi@wireless-86-50-141-225.open.aalto.fi) (Ping timeout: 256 seconds) |
| 2025-10-15 14:52:45 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-10-15 14:53:51 | × | trickard quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-15 14:54:04 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-10-15 15:04:51 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 244 seconds) |
| 2025-10-15 15:04:53 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-10-15 15:05:23 | × | finsternis quits (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 2025-10-15 15:07:59 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 2025-10-15 15:08:07 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-15 15:12:05 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-15 15:12:25 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-15 15:14:54 | → | nogloff joins (uid464985@id-464985.tinside.irccloud.com) |
| 2025-10-15 15:15:19 | <dminuoso> | kuribas`: You can use let-in for that usecase though, however. |
| 2025-10-15 15:16:36 | → | gustrb joins (~gustrb@191.243.134.87) |
| 2025-10-15 15:17:03 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 2025-10-15 15:17:24 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-15 15:19:39 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-15 15:20:04 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-15 15:28:18 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2025-10-15 15:28:53 | <mauke> | dminuoso: how so? |
| 2025-10-15 15:29:10 | <ski> | not really |
| 2025-10-15 15:31:01 | <dminuoso> | % let f1 = "foo"; f2 = 2; in Foo{..} |
| 2025-10-15 15:31:01 | <yahb2> | Foo {f1 = "foo", f2 = 2} |
| 2025-10-15 15:31:37 | <ski> | that doesn't help when you want to perform actions to generate the values of the fields, though |
All times are in UTC.