we have equal (==) let's have its little brother (/=)
commitf52726e3be50b0ef4f5317391b9069905eac3a45
authorjpmoresmau <jp@moresmau.fr>
dateWed 14 Jan 2015, 17:34 (12 years ago)
parentdbb3ec0
src/Language/Haskell/Generate/PreludeDef.hs+1
@@ -60,6 +60,7 @@ fmap concat $ mapM declareNamedSymbol
6060 , ('(++), "append'")
6161 , ('(!!), "index'")
6262 , ('(==), "equal'")
63+ , ('(/=), "notequal'")
6364 ]
6465
6566(<>.) :: ExpG (b -> c) -> ExpG (a -> b) -> ExpG (a -> c)