Follow

CWs? you mean type annotations for posts?

@a11ce still waiting on dependant cws that let you have content warnings that embed posts, and existential content warnings that don't actually reveal what the warning is for at all

@emi existential cws are pretty common on other sites unfortunately

@emi huh recursive kinda makes sense,,, one layer with a general category and then another w a slightly more detailed description

forall might be,, putting it in ur bio? that's not quite right though

@a11ce forall content warnings are when people go "cw basically everything", therefor forbidding everyone from opening their post

@a11ce need the concept of optionals for my humor posts

Sign in to participate in the conversation
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.