Welcome to your one-stop information source about eating raw programming languages!
C2 is dependently typed and staticly type programming language a that tastes like Gooseberry.
Ciao is term-rewriting and simple programming language a that tastes like Banana.
Mercury is fresh and fast programming language a that tastes like Mamey Sapote.
| | | |