fedi.elf

instance: type.
user: type.

can_be_annoyed_at: user -> user -> type. %infix none 1 can_be_annoyed_at.
@: user -> instance -> type. %infix none 1 @.
>>: instance -> instance -> type. %infix none 1 >>.
annoyed_at: user -> user -> type. %infix none 1 annoyed_at.
</3: user -> user -> type. %infix none 1 </3.
can_enjoy: user -> user -> type. %infix none 1 can_enjoy.
enjoys: user -> user -> type. %infix none 1 enjoys.
<3: user -> user -> type. %infix none 1 <3.

annoyable/0: X can_be_annoyed_at Y
    <- Xi >> Yi
    <- Yi >> Xi
    <- X @ Xi
    <- Y @ Yi.
annoyable/1: X can_be_annoyed_at Y
    <- X @ Xi
    <- Y @ Xi.

annoyed_at/0: X annoyed_at Y
    <- X can_be_annoyed_at Y
    <- X </3 Y.

enjoyable: X can_enjoy Y
    <- X can_be_annoyed_at Y.

enjoying: X enjoys Y
    <- X can_enjoy Y
    <- X <3 Y.

% Instances in the fediverse
anime_website: instance.
mastodon_social: instance.

% Federation graph
anime_website/mastodon_social: anime_website >> mastodon_social.
mastodon_social/anime_website: mastodon_social >> anime_website.

% Users
positivec: user.
positivec/@: positivec @ anime_website.

panko: user.
panko/@: panko @ mastodon_social.

shit: user.
shit/@: shit @ mastodon_social.

% Dislikes
positivec/shit: positivec </3 shit.
shit/positivec: shit </3 positivec.
panko/shit: panko </3 shit.

% Likes
positivec/panko: positivec <3 panko.
panko/positivec: panko <3 positivec.