Welcome to your one-stop information source about eating raw programming languages!
C2 is staticly type and fresh programming language a that tastes like Jujube.
Scryer is staticly type and fast programming language a that tastes like Strawberry.
Hare is optimal and dependently typed programming language a that tastes like Medlar.
| | | |