Everytime you wish your favorite functional programming language with dependent types got more attention, just remember that a disease called NodeJS is currently causing a global technological pandemic and is destroying our technological civilization.

Sign in to participate in the conversation
Mastodon 🐘

Discover & explore Mastodon with no ads and no surveillance. Publish anything you want on Mastodon: links, pictures, text, audio & video.

All on a platform that is community-owned and ad-free.