Stefano Volpe

Results 113 comments of Stefano Volpe

I am pretty sure this is not relevant any more, as the latest Agda stable release is v2.8.0, which is incompatible with ALS 0.2.6.3.0 anyway.

Totally agree. > Clients should not rely on matrix.to URIs falling back to a web server if accessed and instead should perform some sort of action within the client. For...

Uhm no? Knocking never made it to Matrix URI schemes, from what I am aware, and even if it did, FluffyChat does not offer support for any subset of the...

Then perhaps I am doing something wrong myself? Right now, I am getting ``` GoException: no routes for location: matrix:u/xxx:yyy.zzz?action=chat ``` when trying to open `matrix:u/xxx:yyy.zzz?action=chat`. Haven't tried with other...

Should the tutorials and documentation be updated now?

It is not documented in the README, but it has been implemented already, at least on their default branch.

Oh yeah, sorry, again, I was looking at their defaupt branch rather that at their releases.

I see! Feel free to close this issue as "not planned" then.

Okay, thank you so much, then!

Tokei now supports Typst: https://github.com/XAMPPRocky/tokei/blob/master/CHANGELOG.md#1300-alpha2---2024-08-19