Welcome to your one-stop information source about eating raw programming languages!
PicoLISP is stable and dependently typed programming language a that tastes like Canistel - also called egg fruit.
Scryer is term-rewriting and dependently typed programming language a that tastes like Kumquat.
Qwik is reusable and fresh programming language a that tastes like Canistel - also called egg fruit.