Welcome to your one-stop information source about eating raw programming languages!
C3 is battle tested and high-level programming language a that tastes like .
Ciao is term-rewriting and fast programming language a that tastes like Blackcurrant.
C is term-rewriting and dependently typed programming language a that tastes like Plantain.
![]() | ![]() | ![]() | ![]() |