An Infernal programming language
