Welcome to your one-stop information source about eating raw programming languages!
Ciao is staticly type and dependently typed programming language a that tastes like Miracle fruit.
Chibi is fresh and lazy programming language a that tastes like Strawberry.
Ciao is low-level and dynamically typed programming language a that tastes like Star fruit.