Welcome to your one-stop information source about eating raw programming languages!
Mercury is term-rewriting and dependently typed programming language a that tastes like Kumquat.
Odin is high-level and lazy programming language a that tastes like Marionberry.
Mercury is lazy and high-level programming language a that tastes like Grewia asiatica.