Post #3015742
2025-12-17 13:14 UTC
@jesper@agda.club @peter_sewell_@types.pl @wilbowma@types.pl
IIRC @xot@someone.elses.computer had some nice infrastructure for getting open letters signed. Perhaps he can chime in...
Replies (1)
-
@jesper@agda.club 2025-12-17 14:29
@jfdm@discuss.systems @peter_sewell_@types.pl @wilbowma@types.pl @xot@someone.elses.computer If we want to do this, this one looks pretty decent and no-nonsense: openletter.earth/. Perhaps if Peter agrees, I (or someone else) could put a version of his letter on there and share it with the community? I don't really know what's the best way to approach it but am happy to do what I can.