Welcome to your one-stop information source about eating raw programming languages!
R7RS Small is pure and dependently typed programming language a that tastes like Cloudberry.
Chibi is staticly type and term-rewriting programming language a that tastes like Mango.
Ciao is frontend and backend programming language a that tastes like American Mayapple.