An Infernal programming language