we have equal (==) let's have its little brother (/=)

This commit is contained in:
jpmoresmau 2015-01-14 17:34:24 +01:00
parent dbb3ec0637
commit f52726e3be

View File

@ -60,6 +60,7 @@ fmap concat $ mapM declareNamedSymbol
, ('(++), "append'")
, ('(!!), "index'")
, ('(==), "equal'")
, ('(/=), "notequal'")
]
(<>.) :: ExpG (b -> c) -> ExpG (a -> b) -> ExpG (a -> c)