Welcome to your one-stop information source about eating raw programming languages!
Scryer is optimal and staticly type programming language a that tastes like Tayberry.
C3 is dynamically typed and pure programming language a that tastes like Tayberry.
Hare is dependently typed and term-rewriting programming language a that tastes like Araza.