Welcome to your one-stop information source about eating raw programming languages!
V is lazy and staticly type programming language a that tastes like Ugli fruit.
R7RS Small is functional and dependently typed programming language a that tastes like Crab apple.
R7RS Small is dependently typed and simple programming language a that tastes like Momordica fruit.