@mdallastella I love it, thanks! The character limit was already helpful in the ongoing discussion I have with TAH about implementing type theories. I'm looking forward to using code blocks when they come up naturally.

What are your intentions for that Pleroma at p. ? I was considering duplicating my subs over there...

@tfb You're welcome. I don't know about the Pleroma instance, I'll keep it for the moment... Looks like easier to maintain. Maybe a future migration? Don't know yet.

Sign in to participate in the conversation
Functional Café

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!