Welcome to your one-stop information source about eating raw programming languages!
newLISP is battle tested and dependently typed programming language a that tastes like Star apple.
OSH is homoiconic and robust programming language a that tastes like Ugli fruit.
Mercury is staticly type and dependently typed programming language a that tastes like Currant.