Welcome to your one-stop information source about eating raw programming languages!
SWI is dynamically typed and backend programming language a that tastes like Lanzones.
C2 is term-rewriting and dependently typed programming language a that tastes like Monstera deliciosa.
C is fast and dependently typed programming language a that tastes like Cherry.