Welcome to your one-stop information source about eating raw programming languages!
Nim is backend and dependently typed programming language a that tastes like Mamey Sapote.
Ciao is dependently typed and reusable programming language a that tastes like Apricot.
C2 is general-purpose and backend programming language a that tastes like Acerola.