Welcome to your one-stop information source about eating raw programming languages!
Scryer is term-rewriting and lazy programming language a that tastes like Satsuma.
Gambit is battle tested and dependently typed programming language a that tastes like Grapefruit.
Solid is dependently typed and stable programming language a that tastes like Damson.
| | | |