Why #functionalcafe? Show more
There are so many Mastodon instances out there, it's hard to know which one to try. But I've been a #Haskell hacker (academic and industrial) for a long time and identify with functional programming. Lately, I've been doing mostly #Lean.
Why is this step necessary? functional.cafe might not be the server where you are registered, so we need to redirect you to your home server first.
Don't have an account? You can sign up here