Logs: liberachat/#haskell
| 2021-08-12 06:31:34 | × | Matthias1 quits (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) (Ping timeout: 268 seconds) |
| 2021-08-12 06:38:55 | → | MQ-17J joins (~MQ-17J@8.6.144.209) |
| 2021-08-12 06:39:31 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-08-12 06:42:36 | <pavonia> | Drew[m]1: There's <https://packdeps.haskellers.com/reverse>. Not sure this is what you are looking for |
| 2021-08-12 06:43:34 | → | JavierNeira[m] joins (~jneiramat@2001:470:69fc:105::d729) |
| 2021-08-12 06:44:12 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-08-12 06:44:49 | × | magthe quits (~magthe@c83-252-52-5.bredband.tele2.se) (Ping timeout: 248 seconds) |
| 2021-08-12 06:48:05 | ← | JavierNeira[m] parts (~jneiramat@2001:470:69fc:105::d729) () |
| 2021-08-12 06:52:07 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:f117:9393:f77b:e061) |
| 2021-08-12 06:52:58 | → | acidjnk joins (~acidjnk@p200300d0c72b954099fc00439288b01d.dip0.t-ipconnect.de) |
| 2021-08-12 06:53:41 | → | adam2 joins (~adam@2001-b011-4007-2578-2ca6-0e99-140d-5ce9.dynamic-ip6.hinet.net) |
| 2021-08-12 06:56:32 | × | adam1 quits (~adam@2001-b011-4007-2990-bcbb-3682-3e68-66b1.dynamic-ip6.hinet.net) (Ping timeout: 256 seconds) |
| 2021-08-12 07:03:06 | → | dhouthoo joins (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2021-08-12 07:03:50 | <Drew[m]1> | pavonia: That fits my use case. Thanks! |
| 2021-08-12 07:11:01 | × | fabfianda quits (~fabfianda@37.183.255.57) (Ping timeout: 268 seconds) |
| 2021-08-12 07:11:14 | → | fabfianda joins (~fabfianda@mob-5-91-112-242.net.vodafone.it) |
| 2021-08-12 07:12:31 | → | yoctocell joins (~user@h87-96-130-155.cust.a3fiber.se) |
| 2021-08-12 07:14:02 | × | Codaraxis quits (~Codaraxis@user/codaraxis) (Quit: Leaving) |
| 2021-08-12 07:16:00 | adam2 | is now known as ajbarber |
| 2021-08-12 07:16:24 | → | acidjnk_new joins (~acidjnk@p200300d0c72b954018823fd27e2cbb9b.dip0.t-ipconnect.de) |
| 2021-08-12 07:16:42 | × | Reyu[M] quits (~reyureyuz@matrix.reyuzenfold.com) (Remote host closed the connection) |
| 2021-08-12 07:17:23 | → | Reyu[M] joins (~reyureyuz@matrix.reyuzenfold.com) |
| 2021-08-12 07:19:11 | ajbarber | is now known as adam1 |
| 2021-08-12 07:19:42 | × | acidjnk quits (~acidjnk@p200300d0c72b954099fc00439288b01d.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2021-08-12 07:22:45 | → | epolanski joins (uid312403@id-312403.brockwell.irccloud.com) |
| 2021-08-12 07:24:08 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 272 seconds) |
| 2021-08-12 07:25:44 | → | magthe joins (~magthe@c83-252-52-5.bredband.tele2.se) |
| 2021-08-12 07:27:00 | × | takenobu quits (uid459077@id-459077.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-08-12 07:27:19 | → | burnsidesLlama joins (~burnsides@dhcp168-018.wadham.ox.ac.uk) |
| 2021-08-12 07:27:28 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-08-12 07:29:58 | → | p0lyph3m joins (~polyphem@2a02:810d:640:776c:5d1:5727:1484:7756) |
| 2021-08-12 07:30:34 | × | polyphem quits (~polyphem@2a02:810d:640:776c:5d1:5727:1484:7756) (Read error: Connection reset by peer) |
| 2021-08-12 07:30:38 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-12 07:31:27 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-08-12 07:33:13 | × | slack1256 quits (~slack1256@181.203.38.2) (Ping timeout: 268 seconds) |
| 2021-08-12 07:34:57 | × | myShoggoth quits (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 248 seconds) |
| 2021-08-12 07:38:29 | → | polyphem joins (~polyphem@2a02:810d:640:776c:5ce9:eeb2:9e8b:b083) |
| 2021-08-12 07:38:44 | × | p0lyph3m quits (~polyphem@2a02:810d:640:776c:5d1:5727:1484:7756) (Ping timeout: 252 seconds) |
| 2021-08-12 07:43:10 | → | Guest88930 joins (~Guest8893@p578b92fd.dip0.t-ipconnect.de) |
| 2021-08-12 07:43:25 | ← | Guest88930 parts (~Guest8893@p578b92fd.dip0.t-ipconnect.de) () |
| 2021-08-12 07:43:34 | → | michalz joins (~michalz@185.246.204.61) |
| 2021-08-12 07:44:00 | → | Guest88930 joins (~Guest8893@p578b92fd.dip0.t-ipconnect.de) |
| 2021-08-12 07:44:08 | × | Guest88930 quits (~Guest8893@p578b92fd.dip0.t-ipconnect.de) (Client Quit) |
| 2021-08-12 07:44:38 | → | Guest773838 joins (~Guest7738@p578b92fd.dip0.t-ipconnect.de) |
| 2021-08-12 07:48:41 | ← | Guest773838 parts (~Guest7738@p578b92fd.dip0.t-ipconnect.de) () |
| 2021-08-12 07:51:56 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2021-08-12 07:54:12 | × | azeem quits (~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-08-12 07:54:15 | → | mei joins (~mei@user/mei) |
| 2021-08-12 07:55:36 | → | Boomerang joins (~Boomerang@xd520f68c.cust.hiper.dk) |
| 2021-08-12 07:56:02 | → | azeem joins (~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) |
| 2021-08-12 07:56:25 | × | magthe quits (~magthe@c83-252-52-5.bredband.tele2.se) (Quit: WeeChat 3.2) |
| 2021-08-12 07:58:47 | → | wonko joins (~wjc@62.115.229.50) |
| 2021-08-12 08:01:37 | × | burnsidesLlama quits (~burnsides@dhcp168-018.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-12 08:01:37 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-12 08:04:52 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-08-12 08:06:01 | → | hendursa1 joins (~weechat@user/hendursaga) |
| 2021-08-12 08:09:09 | → | chomwitt joins (~chomwitt@2a02:587:dc04:9a00:12c3:7bff:fe6d:d374) |
| 2021-08-12 08:09:29 | × | hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 2021-08-12 08:17:27 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-08-12 08:17:27 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-12 08:17:30 | allbery_b | is now known as geekosaur |
| 2021-08-12 08:22:15 | × | shriekingnoise quits (~shrieking@186.137.144.80) (Quit: Quit) |
| 2021-08-12 08:25:02 | × | azeem quits (~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-08-12 08:25:49 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-08-12 08:30:50 | → | burnsidesLlama joins (~burnsides@dhcp168-018.wadham.ox.ac.uk) |
| 2021-08-12 08:31:31 | <kuribas> | I made a more ergonomic and lawful validation transformer: https://gist.github.com/kuribas/d3d7a97de4faf340442fd3e542ea73bf |
| 2021-08-12 08:31:45 | <kuribas> | It has two parts, the validation applicative, and the reporting monad. |
| 2021-08-12 08:31:56 | <kuribas> | the reporting monad is like ChronicleT, but with less weird names. |
| 2021-08-12 08:32:22 | → | Guest88930 joins (~Guest8893@p578b92fd.dip0.t-ipconnect.de) |
| 2021-08-12 08:33:02 | ← | Guest88930 parts (~Guest8893@p578b92fd.dip0.t-ipconnect.de) () |
| 2021-08-12 08:33:26 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-08-12 08:34:33 | <kuribas> | for some reason, the ChronicleT functions remind me of the spanish inquisition. |
| 2021-08-12 08:35:03 | <kuribas> | But I guess it's normal not to expect it :-) |
| 2021-08-12 08:36:21 | × | burnsidesLlama quits (~burnsides@dhcp168-018.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-12 08:36:33 | <kuribas> | nobody does |
| 2021-08-12 08:37:29 | → | Guest|47 joins (~Guest|47@p578b92fd.dip0.t-ipconnect.de) |
| 2021-08-12 08:38:57 | → | azeem joins (~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) |
| 2021-08-12 08:41:47 | → | Pickchea joins (~private@user/pickchea) |
| 2021-08-12 08:45:54 | × | azeem quits (~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) (Ping timeout: 256 seconds) |
| 2021-08-12 08:46:36 | → | azeem joins (~azeem@176.201.11.151) |
| 2021-08-12 08:48:08 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-12 08:49:05 | × | dermato quits (~dermatobr@154.21.23.75) (Ping timeout: 248 seconds) |
| 2021-08-12 08:49:21 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-12 08:49:56 | × | azeem quits (~azeem@176.201.11.151) (Read error: Connection reset by peer) |
| 2021-08-12 08:51:46 | → | azeem joins (~azeem@176.201.11.151) |
| 2021-08-12 08:56:29 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-08-12 08:58:26 | → | AndrewYu joins (~andrew@user/andrewyu) |
| 2021-08-12 09:01:40 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-08-12 09:02:04 | × | _xor quits (~xor@74.215.232.67) (Read error: Connection reset by peer) |
| 2021-08-12 09:02:20 | → | ubert joins (~Thunderbi@178.165.160.157.wireless.dyn.drei.com) |
| 2021-08-12 09:02:53 | × | azeem quits (~azeem@176.201.11.151) (Ping timeout: 252 seconds) |
| 2021-08-12 09:04:32 | × | acidjnk_new quits (~acidjnk@p200300d0c72b954018823fd27e2cbb9b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2021-08-12 09:04:33 | → | azeem joins (~azeem@176.201.11.151) |
| 2021-08-12 09:08:40 | → | burnsidesLlama joins (~burnsides@dhcp168-018.wadham.ox.ac.uk) |
| 2021-08-12 09:11:33 | → | Matthias1 joins (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) |
| 2021-08-12 09:13:43 | × | MidAutumnMoon quits (~MidAutumn@user/midautumnmoon) (Quit: Ping timeout (120 seconds)) |
| 2021-08-12 09:13:57 | → | MidAutumnMoon joins (~MidAutumn@user/midautumnmoon) |
| 2021-08-12 09:14:14 | × | burnsidesLlama quits (~burnsides@dhcp168-018.wadham.ox.ac.uk) (Ping timeout: 256 seconds) |
| 2021-08-12 09:15:31 | × | vrilles quits (~vrilles@user/aman) (Quit: vrilles) |
| 2021-08-12 09:15:56 | × | Matthias1 quits (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) (Ping timeout: 256 seconds) |
All times are in UTC.