Welcome to your one-stop information source about eating raw programming languages!
R5RS is functional and dependently typed programming language a that tastes like Marionberry.
Odin is reusable and dynamically typed programming language a that tastes like Kaffir lime.
Scryer is dependently typed and term-rewriting programming language a that tastes like Pomelo.