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.
@brettgilio No need to thank me
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.