Logs on 2026-03-05 (liberachat/#haskell)
| 00:01:47 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 00:01:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 00:02:16 | × | Tuplanolla quits (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:10:47 | → | foul_owl joins (~kerry@94.156.149.94) |
| 00:13:08 | → | merijn joins (~merijn@62.45.136.136) |
| 00:17:48 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 00:28:55 | → | merijn joins (~merijn@62.45.136.136) |
| 00:30:23 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) |
| 00:30:23 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) (Changing host) |
| 00:30:23 | → | arandombit joins (~arandombi@user/arandombit) |
| 00:33:18 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 00:41:21 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 00:42:40 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 00:44:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:46:23 | × | xff0x quits (~xff0x@ai084147.d.east.v6connect.net) (Ping timeout: 252 seconds) |
| 00:47:59 | → | AlexNoo_ joins (~AlexNoo@178.34.150.243) |
| 00:48:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 00:50:07 | × | AlexZenon quits (~alzenon@94.233.241.37) (Ping timeout: 264 seconds) |
| 00:51:00 | × | Alex_delenda_est quits (~al_test@94.233.241.37) (Ping timeout: 245 seconds) |
| 00:51:15 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds) |
| 00:51:25 | × | AlexNoo quits (~AlexNoo@94.233.241.37) (Ping timeout: 245 seconds) |
| 00:52:29 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 00:52:55 | × | Googulator13 quits (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed) |
| 00:53:10 | → | Googulator13 joins (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 00:57:29 | × | vito_ quits (uid1962@id-1962.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 00:57:59 | → | AlexZenon joins (~alzenon@178.34.150.243) |
| 01:00:07 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:05:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 01:09:45 | × | jreicher quits (~joelr@user/jreicher) (Ping timeout: 245 seconds) |
| 01:10:24 | → | wickedjargon joins (~user@96.49.241.245) |
| 01:12:34 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) |
| 01:12:34 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) (Changing host) |
| 01:12:34 | → | arandombit joins (~arandombi@user/arandombit) |
| 01:15:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:16:34 | × | acidjnk_new quits (~acidjnk@p200300d6e700e5173857d47938b5e6dc.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 01:17:44 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 01:22:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 01:27:37 | ← | stackdroid18 parts (~stackdroi@user/stackdroid) () |
| 01:31:08 | <Leary> | aka_dude: If you still want to play with them, ski's stack declarations presumably looked something like this: https://gist.github.com/LSLeary/70a398c9814156ce3e698d6df52dd9cf |
| 01:32:16 | → | simpleshun joins (~simpleshu@user/SimpleShun) |
| 01:33:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:36:17 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) |
| 01:36:17 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) (Changing host) |
| 01:36:17 | → | arandombit joins (~arandombi@user/arandombit) |
| 01:38:15 | × | mange quits (~mange@user/mange) (Ping timeout: 265 seconds) |
| 01:38:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 01:38:44 | × | simpleshun quits (~simpleshu@user/SimpleShun) (Ping timeout: 265 seconds) |
| 01:40:03 | × | tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 01:40:57 | → | simpleshun joins (~simpleshu@user/SimpleShun) |
| 01:41:30 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 01:45:22 | → | xff0x joins (~xff0x@182.169.73.28) |
| 01:49:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:53:23 | × | wickedjargon quits (~user@96.49.241.245) (Ping timeout: 244 seconds) |
| 01:53:41 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) |
| 01:53:41 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) (Changing host) |
| 01:53:41 | → | arandombit joins (~arandombi@user/arandombit) |
| 01:54:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 01:56:34 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 01:58:10 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 01:58:53 | × | simpleshun quits (~simpleshu@user/SimpleShun) (Quit: WeeChat 4.8.1) |
| 02:05:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:09:24 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 02:20:28 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:21:56 | → | wickedjargon joins (~user@207.194.38.18) |
| 02:25:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 02:26:38 | → | mange joins (~mange@user/mange) |
| 02:36:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:41:06 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 02:41:20 | → | jreicher joins (~joelr@user/jreicher) |
| 02:43:52 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 02:44:39 | → | emmanuelux joins (~em@user/emmanuelux) |
| 02:46:25 | × | qqq quits (~qqq@185.54.22.240) (Quit: Lost terminal) |
| 02:52:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:58:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 02:59:04 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 03:04:59 | × | machinedgod quits (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 03:08:33 | × | philopsos1 quits (~caecilius@user/philopsos) (Remote host closed the connection) |
| 03:08:36 | → | philopso11 joins (~caecilius@107.175.39.130) |
| 03:09:08 | × | philopso11 quits (~caecilius@107.175.39.130) (Remote host closed the connection) |
| 03:10:27 | → | merijn joins (~merijn@62.45.136.136) |
| 03:11:34 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) |
| 03:11:34 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) (Changing host) |
| 03:11:34 | → | arandombit joins (~arandombi@user/arandombit) |
| 03:12:13 | → | wickedja` joins (~user@2605:8d80:5430:2896:f12c:b96b:7672:6460) |
| 03:13:36 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 03:13:54 | × | wickedjargon quits (~user@207.194.38.18) (Ping timeout: 248 seconds) |
| 03:15:01 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 03:18:51 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 03:20:48 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 03:24:15 | × | philopsos1 quits (~caecilius@user/philopsos) (Remote host closed the connection) |
| 03:24:22 | → | philopso11 joins (~caecilius@107.175.39.130) |
| 03:25:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:29:35 | × | philopso11 quits (~caecilius@107.175.39.130) (Remote host closed the connection) |
| 03:29:41 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 03:30:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 03:36:35 | × | philopsos1 quits (~caecilius@user/philopsos) (Remote host closed the connection) |
| 03:36:55 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 03:37:00 | × | philopsos1 quits (~caecilius@user/philopsos) (Remote host closed the connection) |
| 03:41:44 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 03:43:09 | → | edwtjo joins (~edwtjo@fsf/member/edwtjo) |
| 03:46:00 | × | philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 246 seconds) |
| 03:55:19 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 03:57:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:57:41 | → | haritz joins (~hrtz@140.228.70.141) |
| 03:57:41 | × | haritz quits (~hrtz@140.228.70.141) (Changing host) |
| 03:57:41 | → | haritz joins (~hrtz@user/haritz) |
| 03:58:28 | × | haritz quits (~hrtz@user/haritz) (Remote host closed the connection) |
| 04:01:50 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 04:08:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:13:38 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 04:13:59 | → | aaron_ joins (~aaron@2601:602:8d00:c320:3465:85c5:90c3:777f) |
| 04:24:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:29:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 04:30:12 | × | rekahsoft quits (~rekahsoft@76.67.111.168) (Remote host closed the connection) |
| 04:35:55 | × | wickedja` quits (~user@2605:8d80:5430:2896:f12c:b96b:7672:6460) (Remote host closed the connection) |
| 04:40:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:45:38 | → | arandombit joins (~arandombi@user/arandombit) |
| 04:46:50 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 04:58:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:00:34 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 05:01:17 | → | gmg joins (~user@user/gehmehgeh) |
| 05:03:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 05:06:03 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 05:06:17 | → | gmg joins (~user@user/gehmehgeh) |
| 05:12:44 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 05:14:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:18:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 05:27:51 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 05:28:38 | → | gmg joins (~user@user/gehmehgeh) |
| 05:30:19 | → | merijn joins (~merijn@62.45.136.136) |
| 05:33:40 | → | prdak joins (~Thunderbi@user/prdak) |
| 05:33:44 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 05:34:31 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 05:38:07 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 05:38:42 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 246 seconds) |
| 05:42:39 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 05:42:58 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 05:43:21 | → | divlamir joins (~divlamir@user/divlamir) |
| 05:43:51 | × | xff0x quits (~xff0x@182.169.73.28) (Quit: xff0x) |
| 05:45:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:46:40 | → | xff0x joins (~xff0x@182.169.73.28) |
| 05:46:58 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 05:50:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 05:50:35 | × | mange quits (~mange@user/mange) (Ping timeout: 245 seconds) |
| 05:54:24 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 06:00:26 | → | michalz joins (~michalz@185.246.207.215) |
| 06:10:05 | → | merijn joins (~merijn@62.45.136.136) |
| 06:10:08 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 06:13:29 | <gentauro> | geekosaur: morning :) (thx for the help yesterday) |
| 06:14:03 | <gentauro> | with a fresh mind -> https://gitlab.com/a-gent/a-gent/-/blob/main/A-gent.cabal?ref_type=heads#L33-38 https://gitlab.com/a-gent/a-gent/-/blob/main/build.sh?ref_type=heads#L9-26 https://gitlab.com/a-gent/a-gent/-/blob/main/hdocs.sh?ref_type=heads#L18-25 and https://gitlab.com/a-gent/a-gent/-/blob/main/pkgup.sh?ref_type=heads#L24-37 |
| 06:14:11 | <gentauro> | all good now (once again, many thx) |
| 06:14:18 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 06:25:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:26:03 | → | hc joins (~hc@mail.hce.li) |
| 06:30:45 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 06:32:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 06:32:35 | × | picnoir quits (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.8.1) |
| 06:32:41 | → | lol__ joins (~lol@2603:3016:1e01:b980:ddc8:52aa:8a26:613f) |
| 06:35:03 | × | lol_ quits (~lol@2603:3016:1e01:b980:ddc8:52aa:8a26:613f) (Ping timeout: 246 seconds) |
| 06:35:13 | → | mange joins (~mange@user/mange) |
| 06:35:48 | → | lol_ joins (~lol@2603:3016:1e01:b980:ddc8:52aa:8a26:613f) |
| 06:36:06 | × | jcarpenter2 quits (~lol@2603:3016:1e01:b980:ddc8:52aa:8a26:613f) (Ping timeout: 246 seconds) |
| 06:36:50 | → | picnoir joins (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 06:36:51 | → | jcarpenter2 joins (~lol@2603:3016:1e01:b980:ddc8:52aa:8a26:613f) |
| 06:38:05 | × | Pozyomka quits (~pyon@user/pyon) (Ping timeout: 245 seconds) |
| 06:38:10 | × | lol__ quits (~lol@2603:3016:1e01:b980:ddc8:52aa:8a26:613f) (Ping timeout: 248 seconds) |
| 06:43:55 | → | merijn joins (~merijn@62.45.136.136) |
| 06:48:24 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 06:56:50 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 06:57:23 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 06:59:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:03:05 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 07:04:06 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 07:10:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:11:48 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 246 seconds) |
| 07:13:44 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) |
| 07:13:44 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) (Changing host) |
| 07:13:44 | → | arandombit joins (~arandombi@user/arandombit) |
| 07:15:01 | → | Pozyomka joins (~pyon@user/pyon) |
| 07:15:09 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 07:16:29 | <aka_dude> | Leary: 🤯 |
| 07:19:35 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 07:30:23 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:30:50 | × | aaron_ quits (~aaron@2601:602:8d00:c320:3465:85c5:90c3:777f) (Quit: Leaving) |
| 07:33:55 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 07:35:30 | → | Enrico63 joins (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) |
| 07:37:15 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 07:43:14 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 245 seconds) |
| 07:43:29 | × | jreicher quits (~joelr@user/jreicher) (Quit: In transit) |
| 07:44:08 | → | kuribas joins (~user@2a02:1810:2825:6000:67a:4325:ab5b:92a9) |
| 07:44:10 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 07:44:45 | → | oskarw joins (~user@user/oskarw) |
| 08:02:34 | → | prdak joins (~Thunderbi@user/prdak) |
| 08:04:30 | → | jreicher joins (~joelr@user/jreicher) |
| 08:06:50 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 245 seconds) |
| 08:07:08 | → | prdak joins (~Thunderbi@user/prdak) |
| 08:08:21 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) |
| 08:08:21 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) (Changing host) |
| 08:08:21 | → | arandombit joins (~arandombi@user/arandombit) |
| 08:09:06 | × | prdak quits (~Thunderbi@user/prdak) (Client Quit) |
| 08:14:33 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 08:23:43 | × | Enrico63 quits (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) (Quit: Client closed) |
| 08:31:14 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 08:31:26 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 08:33:01 | → | acidjnk_new joins (~acidjnk@p200300d6e700e51798ffae662d64428e.dip0.t-ipconnect.de) |
| 08:38:57 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 08:44:14 | × | philopsos1 quits (~caecilius@user/philopsos) (Remote host closed the connection) |
| 08:47:04 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 08:49:29 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 08:49:30 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Read error: Connection reset by peer) |
| 08:49:57 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 08:51:28 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 08:55:03 | → | arandombit joins (~arandombi@user/arandombit) |
| 08:57:39 | → | Square joins (~Square4@user/square) |
| 08:59:06 | × | philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 255 seconds) |
| 09:09:10 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 09:09:22 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 09:09:25 | → | merijn joins (~merijn@77.242.116.146) |
| 09:26:28 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 09:38:43 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 09:43:41 | → | chele joins (~chele@user/chele) |
| 10:05:05 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 10:06:12 | → | kadobanana joins (~mud@user/kadoban) |
| 10:10:06 | × | mud quits (~mud@user/kadoban) (Ping timeout: 265 seconds) |
| 10:21:16 | × | xff0x quits (~xff0x@182.169.73.28) (Ping timeout: 244 seconds) |
| 10:23:12 | × | jreicher quits (~joelr@user/jreicher) (Quit: In transit) |
| 10:26:57 | × | madresch quits (~Thunderbi@user/madresch) (Ping timeout: 244 seconds) |
| 10:35:39 | → | skinkitten joins (~skinkitte@user/skinkitten) |
| 10:40:43 | → | madresch joins (~Thunderbi@user/madresch) |
| 10:54:42 | → | Enrico63 joins (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) |
| 10:58:07 | → | jreicher joins (~joelr@user/jreicher) |
| 11:00:02 | → | acidjnk_new3 joins (~acidjnk@p200300d6e700e5630d82fe39e12aa3e5.dip0.t-ipconnect.de) |
| 11:02:32 | × | kadobanana quits (~mud@user/kadoban) (Quit: quit) |
| 11:02:48 | × | acidjnk_new quits (~acidjnk@p200300d6e700e51798ffae662d64428e.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 11:03:35 | → | kadobanana joins (~mud@user/kadoban) |
| 11:13:46 | <Athas> | Is there a convenient way to go from an Int to an ExitCode in the obvious way? I.e., 0 becomes ExitSuccess and everything else becomes ExitFailure? |
| 11:13:57 | <Athas> | It seems like an obvious thing, and it's three lines of code to do by hand. |
| 11:16:28 | × | mange quits (~mange@user/mange) (Quit: Zzz...) |
| 11:16:42 | <haskellbridge> | <magic_rb> Athas: well no, because thats obvious only on linux |
| 11:17:15 | <int-e> | exitWith (if c == 0 then ExitSuccess else ExitFailure c) --- how does this turn into three lines? |
| 11:17:29 | <Athas> | I wrote it with case instead of if. |
| 11:18:22 | → | xff0x joins (~xff0x@2405:6580:b080:900:b1a8:2b42:9b46:3f85) |
| 11:34:02 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 11:41:49 | → | machinedgod joins (~machinedg@d172-219-48-230.abhsia.telus.net) |
| 11:45:04 | × | skinkitten quits (~skinkitte@user/skinkitten) (Quit: Client closed) |
| 11:47:03 | × | kadobanana quits (~mud@user/kadoban) (Read error: Connection reset by peer) |
| 11:47:45 | → | kadobanana joins (~mud@user/kadoban) |
| 11:48:29 | → | tremon joins (~tremon@83.80.159.219) |
| 11:59:17 | × | Enrico63 quits (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) (Quit: Client closed) |
| 12:16:03 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 12:18:27 | × | philopsos1 quits (~caecilius@user/philopsos) (Remote host closed the connection) |
| 12:20:57 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 12:37:31 | × | kadobanana quits (~mud@user/kadoban) (Quit: quit) |
| 12:37:47 | → | kadobanana joins (~mud@user/kadoban) |
| 12:46:06 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 12:47:52 | × | kadobanana quits (~mud@user/kadoban) (Quit: quit) |
| 12:48:15 | → | kadobanana joins (~mud@user/kadoban) |
| 12:49:02 | × | kadobanana quits (~mud@user/kadoban) (Client Quit) |
| 12:49:15 | → | poscat joins (~poscat@user/poscat) |
| 12:49:25 | → | kadobanana joins (~mud@user/kadoban) |
| 12:49:38 | × | kadobanana quits (~mud@user/kadoban) (Client Quit) |
| 12:50:00 | → | kadobanana joins (~mud@user/kadoban) |
| 12:50:07 | × | kadobanana quits (~mud@user/kadoban) (Client Quit) |
| 12:50:45 | → | kadobanana joins (~mud@user/kadoban) |
| 12:52:16 | × | tremon quits (~tremon@83.80.159.219) (Remote host closed the connection) |
| 12:53:11 | × | kadobanana quits (~mud@user/kadoban) (Client Quit) |
| 12:53:38 | → | kadobanana joins (~mud@user/kadoban) |
| 12:54:55 | × | kadobanana quits (~mud@user/kadoban) (Read error: Connection reset by peer) |
| 12:55:22 | → | kadobanana joins (~mud@user/kadoban) |
| 12:56:28 | × | kadobanana quits (~mud@user/kadoban) (Client Quit) |
| 12:57:03 | → | kadobanana joins (~mud@user/kadoban) |
| 12:57:54 | × | philopsos1 quits (~caecilius@user/philopsos) (Remote host closed the connection) |
| 12:58:02 | → | philopso11 joins (~caecilius@107.175.39.130) |
| 13:02:10 | × | kadobanana quits (~mud@user/kadoban) (Ping timeout: 248 seconds) |
| 13:03:44 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 13:06:56 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 13:11:08 | AlexNoo_ | is now known as AlexNoo |
| 13:11:45 | → | Alex_delenda_est joins (~al_test@178.34.150.243) |
| 13:18:21 | × | poscat quits (~poscat@user/poscat) (Quit: Bye) |
| 13:18:31 | → | poscat joins (~poscat@user/poscat) |
| 13:28:31 | → | bggd_ joins (~bgg@2a01:e0a:fd5:f510:f311:8940:c862:5b08) |
| 13:31:16 | → | n0den1te joins (~n0den1te@user/n0den1te) |
| 13:36:53 | → | skinkitten joins (~skinkitte@user/skinkitten) |
| 13:37:07 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 13:39:07 | × | driib3180 quits (~driib@vmi931078.contaboserver.net) (Ping timeout: 276 seconds) |
| 14:05:58 | × | Jonno_FTW quits (~come@user/jonno-ftw/x-0835346) (Ping timeout: 268 seconds) |
| 14:06:29 | → | Jonno_FTW joins (~come@user/jonno-ftw/x-0835346) |
| 14:07:21 | → | rekahsoft joins (~rekahsoft@76.67.111.168) |
| 14:17:05 | × | philopso11 quits (~caecilius@107.175.39.130) (Remote host closed the connection) |
| 14:18:56 | → | weary-traveler joins (~user@user/user363627) |
| 14:19:05 | → | chaseabagg joins (~chaseabag@2600:387:15:5519::3) |
| 14:19:29 | × | skinkitten quits (~skinkitte@user/skinkitten) (Quit: Client closed) |
| 14:21:43 | <ski> | Leary,aka_dude : no. there are no pairs (tuples) in my version (from around ~ 2004 or so, iirc) |
| 14:22:18 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 14:22:49 | → | durstloescher joins (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) |
| 14:27:32 | × | bggd_ quits (~bgg@2a01:e0a:fd5:f510:f311:8940:c862:5b08) (Remote host closed the connection) |
| 14:33:45 | × | chaseabagg quits (~chaseabag@2600:387:15:5519::3) (Quit: Client closed) |
| 14:38:33 | → | Square2 joins (~Square@user/square) |
| 14:38:34 | × | Square quits (~Square4@user/square) (Ping timeout: 244 seconds) |
| 14:38:41 | <ski> | > run (push 4 . push 7 . dup . rot . dup . rot_ . minus . rot_ . plus . times) |
| 14:38:42 | <lambdabot> | 33 |
| 14:39:21 | × | Square2 quits (~Square@user/square) (Remote host closed the connection) |
| 14:39:52 | <ski> | (i threw in `drop',`nip',`dup',`over',`swap',`rot',`rot_' in addition to (`run',`push',`apply' and) `plus',`minus',`times' .. see e.g. <https://deepwiki.com/zserge/lc3-forth/3.1-stack-manipulation> for the stack effectt of the former) |
| 14:40:25 | → | Square2 joins (~Square@user/square) |
| 14:40:52 | × | Square2 quits (~Square@user/square) (Remote host closed the connection) |
| 14:41:17 | → | Square2 joins (~Square@user/square) |
| 14:42:58 | × | madresch quits (~Thunderbi@user/madresch) (Ping timeout: 248 seconds) |
| 14:48:16 | × | philopsos1 quits (~caecilius@user/philopsos) (Remote host closed the connection) |
| 14:48:26 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 14:52:30 | <Leary> | ski: Like so? `run f = f id; push x = \f -> f x; apply f = \g x -> f (g x)` |
| 14:56:05 | × | philopsos1 quits (~caecilius@user/philopsos) (Remote host closed the connection) |
| 15:00:06 | <ski> | yes (although i used no lambdas. i don't really see a point, here, apart maybe from `\x -> x' instead of `id') |
| 15:01:14 | <ski> | you see how e.g. `plus',`minus' or `dup',`rot' were defined ? |
| 15:01:19 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 15:01:31 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 15:03:34 | <Leary> | Well, it's just a way to indicate where the "arguments" end and the "result" begins (that last `f` should have been on the RHS). If your stack type had it's implementation details hidden by a newtype, that's probably where the constructor would be. |
| 15:05:33 | <ski> | "that last `f` should have been on the RHS" -- ah, that's what was confusing me |
| 15:09:04 | <ski> | but yea .. it's not too clear to me how to hide it behind a `newtype' in a meaningful (nontrivial) way |
| 15:10:03 | <ski> | (type of e.g. `dup' should clarify this) |
| 15:11:19 | <Leary> | Yeah, that was more just to get the idea of the divide across. |
| 15:13:05 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 15:13:10 | <ski> | it's a quite neat idea for how to do a heterogenous concatenative stack, without stack constructors |
| 15:13:45 | × | ouilemur quits (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.8.1) |
| 15:14:48 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 268 seconds) |
| 15:23:46 | × | philopsos1 quits (~caecilius@user/philopsos) (Remote host closed the connection) |
| 15:23:53 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 15:24:51 | × | gabiruh quits (~gabiruh@191.252.222.55) (Read error: Connection reset by peer) |
| 15:24:54 | → | gabiruh_ joins (~gabiruh@191.252.222.55) |
| 15:26:37 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 15:27:37 | → | tremon joins (~tremon@83.80.159.219) |
| 15:31:40 | → | ouilemur joins (~jgmerritt@user/ouilemur) |
| 15:33:47 | × | gabiruh_ quits (~gabiruh@191.252.222.55) (Quit: ZNC 1.7.5 - https://znc.in) |
| 15:34:03 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 15:39:07 | → | __monty__ joins (~toonn@user/toonn) |
| 15:52:46 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 15:52:57 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 15:56:49 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 16:01:41 | × | philopsos1 quits (~caecilius@user/philopsos) (Remote host closed the connection) |
| 16:01:49 | → | philopso11 joins (~caecilius@107.175.39.130) |
| 16:03:01 | × | philopso11 quits (~caecilius@107.175.39.130) (Remote host closed the connection) |
| 16:04:57 | × | n0den1te quits (~n0den1te@user/n0den1te) (Quit: leaving) |
| 16:05:38 | → | kadobanana joins (~mud@user/kadoban) |
| 16:07:17 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 16:12:48 | × | loungerry_ quits (~loungerry@user/loungerry-:45058) (Quit: left) |
| 16:12:59 | → | loungerry_ joins (~loungerry@150.241.86.78) |
| 16:13:55 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) |
| 16:15:26 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 16:17:35 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Remote host closed the connection) |
| 16:23:55 | × | Googulator13 quits (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed) |
| 16:24:29 | → | Googulator13 joins (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 16:26:34 | × | philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 244 seconds) |
| 16:27:17 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 16:33:28 | × | durstloescher quits (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 16:34:18 | → | durstloescher joins (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) |
| 16:34:21 | <Leary> | ski: Updated: https://gist.github.com/LSLeary/70a398c9814156ce3e698d6df52dd9cf |
| 16:36:02 | × | Digit quits (~user@user/digit) (Ping timeout: 248 seconds) |
| 16:36:25 | → | Digitteknohippie joins (~user@user/digit) |
| 16:41:25 | × | philopsos1 quits (~caecilius@user/philopsos) (Remote host closed the connection) |
| 16:41:54 | → | tromp joins (~textual@2001:1c00:3487:1b00:2466:6319:20fa:c233) |
| 16:42:50 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 16:44:45 | × | myme quits (~myme@2a01:799:d5e:5f00:3864:a0fc:2539:2c1f) (Ping timeout: 245 seconds) |
| 16:46:03 | → | myme joins (~myme@2a01:799:d5e:5f00:332d:919:8ee8:93eb) |
| 16:47:03 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 16:47:13 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 16:48:49 | × | durstloescher quits (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 16:49:28 | × | Digitteknohippie quits (~user@user/digit) (Ping timeout: 256 seconds) |
| 16:54:27 | × | philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 244 seconds) |
| 16:56:20 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Read error: Connection reset by peer) |
| 16:58:36 | → | euphores joins (~SASL_euph@user/euphores) |
| 16:59:10 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 17:04:35 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 17:05:33 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 17:14:55 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
| 17:19:08 | → | Digit joins (~user@user/digit) |
| 17:26:44 | Digit | is now known as digitteknohippie |
| 17:27:04 | digitteknohippie | is now known as Digit |
| 17:28:37 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 17:43:39 | <ski> | Leary : yea, type families would work |
| 17:43:40 | × | [exa] quits (~exa@user/exa/x-3587197) (Quit: WeeChat 3.8) |
| 17:44:14 | <ski> | .. oh, you did composition (`.') backwards |
| 17:44:36 | <ski> | ah, because of `Stack xs ys', rather than `Stack ys xs' |
| 17:45:10 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 17:46:15 | ski | would call the argument to `run', `w' (for "word"), and the `f' arguments to `push',`dup',`rot',`apply', `k' ("continuation") |
| 17:46:49 | <ski> | rot k z y x = k x z y |
| 17:46:51 | <ski> | minus k y x = k (x - y) |
| 17:47:15 | <ski> | which would correspond to the stack effects |
| 17:47:57 | <ski> | ( x y z -- y z x ) |
| 17:48:04 | <ski> | ( x y -- x-y ) |
| 17:48:11 | × | tromp quits (~textual@2001:1c00:3487:1b00:2466:6319:20fa:c233) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:50:38 | <ski> | any particular reason for `forall s ->' ? |
| 17:54:27 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:54:55 | × | Square2 quits (~Square@user/square) (Ping timeout: 264 seconds) |
| 17:57:21 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 18:02:04 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 18:09:43 | → | madresch joins (~Thunderbi@user/madresch) |
| 18:13:30 | → | durstloescher joins (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) |
| 18:13:48 | × | durstloescher quits (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) (Client Quit) |
| 18:13:50 | × | fgarcia quits (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
| 18:14:11 | → | tromp joins (~textual@2001:1c00:3487:1b00:2466:6319:20fa:c233) |
| 18:14:19 | × | troydm quits (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 18:16:28 | × | tusko quits (~uwu@user/tusko) (Remote host closed the connection) |
| 18:16:36 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 18:16:41 | → | tusko joins (~uwu@user/tusko) |
| 18:17:36 | → | durstloescher joins (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) |
| 18:18:24 | × | durstloescher quits (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) (Client Quit) |
| 18:21:39 | × | tusko quits (~uwu@user/tusko) (Remote host closed the connection) |
| 18:23:49 | × | opqdonut__ quits (opqdonut@pseudo.fixme.fi) (Ping timeout: 276 seconds) |
| 18:25:18 | → | opqdonut__ joins (opqdonut@pseudo.fixme.fi) |
| 18:25:59 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 18:26:50 | → | tusko joins (~uwu@user/tusko) |
| 18:31:04 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 18:38:07 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 272 seconds) |
| 18:41:26 | → | rainbyte joins (~rainbyte@186.22.19.214) |
| 18:47:56 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 18:53:39 | × | madresch quits (~Thunderbi@user/madresch) (Ping timeout: 245 seconds) |
| 18:56:53 | → | stackdroid18 joins (~stackdroi@user/stackdroid) |
| 19:03:23 | → | durstloescher joins (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) |
| 19:03:35 | <chromoblob> | how will you do branching? |
| 19:03:47 | <chromoblob> | or will you do it in Haskell |
| 19:04:47 | <ski> | you could do a `cond ifTrue ifFalse' construct, i suppose |
| 19:05:40 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 258 seconds) |
| 19:06:56 | <int-e> | this is more of a party trick than a design pattern |
| 19:08:20 | <int-e> | (But the CPS transform is used seriously... but you often want more than one continuation and then `.` for sequencing breaks down) |
| 19:09:51 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 19:12:35 | × | oskarw quits (~user@user/oskarw) (Remote host closed the connection) |
| 19:12:46 | <ski> | > let fact :: Integral a => (a -> o) -> (a -> o); fact = dup . push 0 . greater . cond (dup . push 1 . minus . fact . times) (L.drop . push 1) in run (push 5 . fact) |
| 19:12:47 | <lambdabot> | 120 |
| 19:12:53 | <ski> | (polymorphic recursion) |
| 19:13:42 | → | arandombit joins (~arandombi@user/arandombit) |
| 19:14:26 | → | oskarw joins (~user@user/oskarw) |
| 19:20:48 | × | dfg quits (~dfg@user/dfg) (Quit: I hate quit messages.) |
| 19:21:00 | × | tromp quits (~textual@2001:1c00:3487:1b00:2466:6319:20fa:c233) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:21:11 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 19:21:22 | <ski> | > let factTimes = dup . push 0 . greater . cond (dup . push 1 . minus . rot_ . times . L.swap . factTimes) L.drop in run (push 1 . push 5 . factTimes) |
| 19:21:23 | <lambdabot> | 120 |
| 19:21:59 | <ski> | interesting to note how tail recursion turns into monomorphic recursion, while non-tail recursion turns into polymorphic recursion |
| 19:22:39 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 19:22:46 | → | Tuplanolla joins (~Tuplanoll@88.114.89.88) |
| 19:24:10 | <EvanR> | laziness reigns |
| 19:30:27 | → | gmg joins (~user@user/gehmehgeh) |
| 19:30:57 | × | rainbyte quits (~rainbyte@186.22.19.214) (Quit: rainbyte) |
| 19:31:28 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 19:32:11 | → | rainbyte joins (~rainbyte@2800:810:5fa:2b1:ead4:b2fc:4979:be59) |
| 19:36:41 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 19:39:37 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 19:40:56 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 258 seconds) |
| 19:41:10 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 19:43:43 | × | durstloescher quits (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 19:44:04 | → | durstloescher joins (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) |
| 19:47:50 | <ski> | (in Forth, `cond (...) (...)' would correspond to `if ... else ... then', which i'd say is reasonably close (mixfix like in Agda would get closer). of course, no compile-time words, in the above model) |
| 19:48:03 | × | kuribas quits (~user@2a02:1810:2825:6000:67a:4325:ab5b:92a9) (Ping timeout: 244 seconds) |
| 19:48:13 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 19:48:50 | × | durstloescher quits (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) (Ping timeout: 268 seconds) |
| 19:49:27 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 267 seconds) |
| 19:51:06 | Lord_of_Life_ | is now known as Lord_of_Life |
| 19:59:30 | → | gabiruh joins (~gabiruh@191.252.222.55) |
| 20:04:25 | → | humasect joins (~humasect@192.249.132.90) |
| 20:11:49 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 20:13:24 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 20:14:15 | → | merijn joins (~merijn@62.45.136.136) |
| 20:15:07 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 20:16:50 | × | oskarw quits (~user@user/oskarw) (Ping timeout: 248 seconds) |
| 20:18:32 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 20:20:42 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 20:21:20 | → | gmg joins (~user@user/gehmehgeh) |
| 20:22:21 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 20:22:42 | → | oskarw joins (~user@user/oskarw) |
| 20:29:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:33:43 | → | kuribas joins (~user@2a02:1810:2825:6000:d4d2:7bb2:8f5b:632a) |
| 20:35:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 20:41:03 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 20:45:51 | → | merijn joins (~merijn@62.45.136.136) |
| 20:46:34 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 268 seconds) |
| 20:47:07 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 20:50:34 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 20:55:29 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 20:56:11 | → | durstloescher joins (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) |
| 20:56:24 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 20:57:04 | × | durstloescher quits (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) (Client Quit) |
| 21:01:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:06:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 21:07:52 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 21:08:53 | → | [exa] joins (~exa@user/exa/x-3587197) |
| 21:09:58 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 21:10:54 | → | madresch joins (~Thunderbi@user/madresch) |
| 21:17:03 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:17:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:19:14 | → | weary-traveler joins (~user@user/user363627) |
| 21:24:02 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 21:24:32 | → | redshuffle joins (~quassel@45.43.70.75) |
| 21:26:04 | → | pavonia joins (~user@user/siracusa) |
| 21:33:07 | → | mange joins (~mange@user/mange) |
| 21:35:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:36:00 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 255 seconds) |
| 21:36:18 | <mesaoptimizer> | would you like Agda mixfix in Haskell |
| 21:36:24 | → | tromp joins (~textual@2001:1c00:3487:1b00:2466:6319:20fa:c233) |
| 21:39:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 21:45:02 | × | michalz quits (~michalz@185.246.207.215) (Remote host closed the connection) |
| 21:50:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:53:06 | <[exa]> | mesaoptimizer: yeah (for symbol operators only tho, would be kinda disrupting to have wordy operators like agda) |
| 21:53:34 | × | tusko quits (~uwu@user/tusko) (Ping timeout: 258 seconds) |
| 21:55:29 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
| 21:55:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 21:55:55 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 22:04:54 | gehmehgeh | is now known as gmg |
| 22:05:23 | → | tusko joins (~uwu@user/tusko) |
| 22:06:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:06:31 | × | oskarw quits (~user@user/oskarw) (Ping timeout: 244 seconds) |
| 22:11:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 22:13:30 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 22:15:19 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 22:15:51 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 22:16:28 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 22:22:43 | → | merijn joins (~merijn@62.45.136.136) |
| 22:22:56 | → | emmanuelux joins (~em@user/emmanuelux) |
| 22:27:11 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 22:35:18 | <monochrom> | mixfix with words = COBOL >:) |
| 22:35:27 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 22:38:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:40:50 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 22:43:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 22:46:49 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 244 seconds) |
| 22:51:54 | × | [exa] quits (~exa@user/exa/x-3587197) (Quit: Lost terminal) |
| 22:54:11 | → | euphores joins (~SASL_euph@user/euphores) |
| 22:54:14 | → | merijn joins (~merijn@62.45.136.136) |
| 22:56:50 | → | oskarw joins (~user@user/oskarw) |
| 23:00:04 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 256 seconds) |
| 23:00:46 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 23:01:05 | × | humasect quits (~humasect@192.249.132.90) (Remote host closed the connection) |
| 23:03:28 | × | Googulator13 quits (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed) |
| 23:03:43 | × | tromp quits (~textual@2001:1c00:3487:1b00:2466:6319:20fa:c233) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 23:03:46 | → | Googulator13 joins (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 23:03:55 | × | oskarw quits (~user@user/oskarw) (Ping timeout: 264 seconds) |
| 23:08:12 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:09:07 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 23:09:28 | → | DetourNetworkUK joins (~DetourNet@user/DetourNetworkUK) |
| 23:09:57 | × | Googulator13 quits (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed) |
| 23:10:15 | → | Googulator13 joins (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 23:11:07 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 23:13:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 23:14:29 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 23:18:08 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 23:18:30 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 245 seconds) |
| 23:18:36 | × | Googulator13 quits (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed) |
| 23:18:52 | → | Googulator13 joins (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 23:23:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:26:08 | × | Googulator13 quits (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed) |
| 23:26:35 | → | Googulator13 joins (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 23:29:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 23:39:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:44:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 23:48:35 | <Leary> | ski: `Fun` isn't injective, so GHC can get confused about what `s` is. The `forall s ->` is the nicest way to tell it. |
| 23:49:41 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 23:51:34 | <ski> | mhm, okay |
| 23:55:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:56:56 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 23:57:58 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 268 seconds) |
| 23:58:00 | → | poscat joins (~poscat@user/poscat) |
| 23:58:19 | → | tt1231607019 joins (~tt1231@75.185.104.199) |
| 23:58:58 | × | tt123160701 quits (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Ping timeout: 268 seconds) |
| 23:58:58 | tt1231607019 | is now known as tt123160701 |
All times are in UTC on 2026-03-05.