← Feed @bentnib@types.pl 2025-03-07 18:59 UTC @chrisamaphone What do you mean by resource semantics? The logical relations indexed by a monoid? Replies (1) @chrisamaphone@hci.social 2025-03-07 19:51 @bentnib yes Open ##1506856