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.
Don't have an account? You can sign up here