Welcome to your one-stop information source about eating raw programming languages!
Mercury is dependently typed and system programming language a that tastes like Kiwifruit.
Odin is term-rewriting and dependently typed programming language a that tastes like Coconut.
C3 is term-rewriting and stable programming language a that tastes like Monstera deliciosa.