nIHOPS An Idris reimplementation of HOPES The name stands for "nonIntensional Higher-Order Prolog Semantics". Also, since HOPES is written in Haskell, nIHOPS is written in Idris