Welcome to your one-stop information source about eating raw programming languages!
Zig is term-rewriting and lazy programming language a that tastes like Pomegranate.
Ciao is staticly type and dependently typed programming language a that tastes like Hawthorn.
C3 is dependently typed and stable programming language a that tastes like Strawberry.
| | | |