| 2026-04-29 00:00:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-29 00:02:07 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 264 seconds) |
| 2026-04-29 00:03:21 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-29 00:04:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-29 00:08:03 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 246 seconds) |
| 2026-04-29 00:08:24 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-04-29 00:09:24 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e50561e3eb2546094cc3.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2026-04-29 00:09:51 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-29 00:14:51 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 255 seconds) |
| 2026-04-29 00:16:13 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-29 00:18:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-29 00:21:05 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 252 seconds) |
| 2026-04-29 00:22:57 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-29 00:23:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-29 00:28:11 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 256 seconds) |
| 2026-04-29 00:29:17 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-29 00:34:06 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 272 seconds) |
| 2026-04-29 00:34:34 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-29 00:34:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-29 00:39:36 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 255 seconds) |
| 2026-04-29 00:39:56 +0000 | xff0x | (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) |
| 2026-04-29 00:41:05 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-29 00:41:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-04-29 00:45:50 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 252 seconds) |
| 2026-04-29 00:48:28 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-29 00:52:02 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: fucking udev) |
| 2026-04-29 00:53:05 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 245 seconds) |
| 2026-04-29 00:53:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-29 00:56:52 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-29 01:00:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-29 01:06:55 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-04-29 01:26:43 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: fuck loginctl) |
| 2026-04-29 01:28:31 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-04-29 01:30:30 +0000 | bkani_ | (~bkani@user/bkani) (Ping timeout: 244 seconds) |
| 2026-04-29 01:30:43 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-04-29 01:32:19 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-29 01:33:18 +0000 | FallenSky | (~FallenSky@user/FallenSky) (ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2026-04-29 01:40:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-29 01:43:59 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: fuck loginctl) |
| 2026-04-29 01:45:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-29 01:46:29 +0000 | RMSBach | (~RMSBach@24.210.2.24) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2026-04-29 01:46:43 +0000 | RMSBach | (~RMSBach@2603:6013:9b40:6f2::1040) RMSBach |
| 2026-04-29 01:48:52 +0000 | Square | (~Square4@user/square) (Ping timeout: 265 seconds) |
| 2026-04-29 01:51:01 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-29 01:55:39 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 2026-04-29 01:57:22 +0000 | bkani | (~bkani@user/bkani) bkani |
| 2026-04-29 01:58:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-29 02:02:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-29 02:16:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-29 02:20:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-29 02:30:25 +0000 | xff0x | (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 244 seconds) |
| 2026-04-29 02:33:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-29 02:36:46 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-04-29 02:36:48 +0000 | Pozyomka | (~pyon@user/pyon) (Client Quit) |
| 2026-04-29 02:37:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-29 02:48:20 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-04-29 02:49:46 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-29 02:51:49 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-04-29 02:56:18 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 248 seconds) |
| 2026-04-29 02:58:09 +0000 | synchrom1 | (~john@2406:5a00:247e:1500:6092:d450:dbbd:88ed) synchromesh |
| 2026-04-29 03:00:29 +0000 | synchromesh | (~john@139.180.114.128) (Ping timeout: 244 seconds) |
| 2026-04-29 03:09:19 +0000 | layline_ | (~layline@149.154.26.170) layline |
| 2026-04-29 03:11:30 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: fuck loginctl) |
| 2026-04-29 03:24:39 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-29 03:27:03 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2026-04-29 03:27:28 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-29 03:34:43 +0000 | bkani | (~bkani@user/bkani) (Ping timeout: 265 seconds) |
| 2026-04-29 03:38:09 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-04-29 03:39:29 +0000 | pyook | (~puke@user/puke) puke |
| 2026-04-29 03:39:30 +0000 | puke | Guest2820 |
| 2026-04-29 03:39:30 +0000 | pyook | puke |
| 2026-04-29 03:39:48 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2026-04-29 03:41:54 +0000 | Guest2820 | (~puke@user/puke) (Ping timeout: 250 seconds) |
| 2026-04-29 03:48:15 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: fuck loginctl) |
| 2026-04-29 03:48:32 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-04-29 03:49:30 +0000 | emaczen | (~user@user/emaczen) (Ping timeout: 255 seconds) |
| 2026-04-29 03:51:43 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-04-29 03:54:28 +0000 | Pozyomka | (~pyon@user/pyon) (Client Quit) |
| 2026-04-29 03:55:17 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-04-29 03:59:23 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-04-29 04:00:49 +0000 | haskellbridge | (~hackager@96.28.224.214) (Read error: Connection reset by peer) |
| 2026-04-29 04:01:10 +0000 | haskellbridge | (~hackager@96.28.224.214) hackager |
| 2026-04-29 04:01:10 +0000 | ChanServ | +v haskellbridge |
| 2026-04-29 04:07:03 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-04-29 04:10:31 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-04-29 04:14:39 +0000 | <dibblego> | Why is there a ReifiedGetter but not a ReifiedReview in the lens package? |
| 2026-04-29 04:18:12 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 265 seconds) |
| 2026-04-29 04:20:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-29 04:21:00 +0000 | <glguy> | Isn't that (->)? |
| 2026-04-29 04:22:03 +0000 | <glguy> | I guess that's what ReifiedGetter is, too |
| 2026-04-29 04:26:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-29 04:37:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-29 04:37:59 +0000 | layline_ | layline-away |
| 2026-04-29 04:39:01 +0000 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2026-04-29 04:39:35 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2026-04-29 04:39:35 +0000 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) (Ping timeout: 244 seconds) |
| 2026-04-29 04:40:41 +0000 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) JoelMcCracken |
| 2026-04-29 04:41:00 +0000 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) (Ping timeout: 245 seconds) |
| 2026-04-29 04:41:24 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2026-04-29 04:42:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-29 04:43:16 +0000 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) ggb |
| 2026-04-29 04:47:17 +0000 | thatonelutenist | (8216c46202@2a03:6000:1812:100::fb3) (Ping timeout: 252 seconds) |
| 2026-04-29 04:49:47 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-04-29 04:50:04 +0000 | DetourNe- | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-04-29 04:50:23 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-04-29 04:51:03 +0000 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) (Ping timeout: 244 seconds) |
| 2026-04-29 04:51:10 +0000 | thatonelutenist | (8216c46202@2a03:6000:1812:100::fb3) thatonelutenist |
| 2026-04-29 04:51:19 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Ping timeout: 264 seconds) |
| 2026-04-29 04:52:26 +0000 | DetourNe- | DetourNetworkUK |
| 2026-04-29 04:53:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-29 04:53:38 +0000 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) (Ping timeout: 248 seconds) |
| 2026-04-29 04:53:52 +0000 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) ymherklotz |
| 2026-04-29 04:55:46 +0000 | thatonelutenist | (8216c46202@2a03:6000:1812:100::fb3) (Ping timeout: 248 seconds) |
| 2026-04-29 04:58:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-29 04:59:30 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 248 seconds) |
| 2026-04-29 04:59:37 +0000 | cephei8 | (b8652603d7@user/cephei8) (Ping timeout: 256 seconds) |
| 2026-04-29 05:02:41 +0000 | michalz | (~michalz@185.246.207.193) |
| 2026-04-29 05:03:12 +0000 | cephei8 | (b8652603d7@user/cephei8) cephei8 |
| 2026-04-29 05:03:14 +0000 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) (Ping timeout: 248 seconds) |
| 2026-04-29 05:04:31 +0000 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) JoelMcCracken |
| 2026-04-29 05:06:05 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-04-29 05:08:06 +0000 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) evanrelf |
| 2026-04-29 05:08:27 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-04-29 05:11:24 +0000 | thatonelutenist | (8216c46202@2a03:6000:1812:100::fb3) thatonelutenist |
| 2026-04-29 05:11:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-29 05:16:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-29 05:24:29 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds) |
| 2026-04-29 05:29:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-29 05:32:11 +0000 | layline-away | (~layline@149.154.26.170) (Quit: ZZZzzz…) |
| 2026-04-29 05:35:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-29 05:37:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-29 05:42:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-29 05:44:56 +0000 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-04-29 06:20:41 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-04-29 06:27:18 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-29 06:38:15 +0000 | <gentauro> | is there a way to replicate/mimic this behaviour in Haskell: https://paste.tomsmeding.com/qoZq3jhq (In F#, you can hide the constructors and then (Active) pattern match on them: https://learn.microsoft.com/en-us/dotnet/fsharp/language-reference/active-patterns) |
| 2026-04-29 06:40:29 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-29 06:44:47 +0000 | mzg_ | (mzg@abusers.hu) (Ping timeout: 268 seconds) |
| 2026-04-29 06:49:27 +0000 | <davean> | you can do view patterns |
| 2026-04-29 06:53:50 +0000 | <Leary> | gentauro: I'm not familiar with F# so I may be missing something, but with `PatternSynonyms` you can expose patterns without constructors, e.g. `module FooBar (FooBar(Foo,Bar)) where { data FooBar = Foo_ Int | Bar_ Char; pattern Foo i <- Foo_ i; pattern Bar c <- Bar_ c }`. |
| 2026-04-29 06:56:32 +0000 | r1bilski | (~r1bilski@user/r1bilski) r1bilski |
| 2026-04-29 06:57:42 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-04-29 07:00:52 +0000 | poscat | (~poscat@user/poscat) poscat |