Welcome to your one-stop information source about eating raw programming languages!
Ciao is dependently typed and term-rewriting programming language a that tastes like Redcurrant.
Scryer is general-purpose and pure programming language a that tastes like White currant.
YSH is stable and dependently typed programming language a that tastes like Damson.
| | | |