Welcome to your one-stop information source about eating raw programming languages!
Gambit is term-rewriting and dependently typed programming language a that tastes like Persimmon.
Lua is homoiconic and frontend programming language a that tastes like Pomelo.
Ciao is fresh and dependently typed programming language a that tastes like Mamey Sapote.
![]() | ![]() | ![]() | ![]() |