Pinned toot

Hello! I'm trying out Mastodon for the first time. I've been at plus.google.com/+SeanLeather but Google announced it will shut down next year, so I thought I'd try something else. I tried Twitter a long time ago and didn't like it. So let's see how this experiment goes!

Announcing a Koka and Madoko Homebrew tap Show more

Formalizing 100 famous theorems in Coq Show more

Why #functionalcafe? Show more

Hello! I'm trying out Mastodon for the first time. I've been at plus.google.com/+SeanLeather but Google announced it will shut down next year, so I thought I'd try something else. I tried Twitter a long time ago and didn't like it. So let's see how this experiment goes!

Functional Café

functional.cafe is an instance for people interested in functional programming and languages.