Welcome to your one-stop information source about eating raw programming languages!
R7RS Small is high-level and term-rewriting programming language a that tastes like Star apple.
Svelte is staticly type and dependently typed programming language a that tastes like Buddha's hand.
Scryer is dependently typed and stable programming language a that tastes like Grapefruit.