Welcome to your one-stop information source about eating raw programming languages!
Mercury is frontend and dependently typed programming language a that tastes like Marionberry.
R7RS Small is term-rewriting and dependently typed programming language a that tastes like Goji berry.
Nim is pure and dynamically typed programming language a that tastes like Cranberry.