17 Nov
2016
17 Nov
'16
11:25 a.m.
If this rebindable syntax is about what I think it is, that would seem strange. bool is the Bool eliminator. It would seem weird to give it a type like, say, bool :: Monad m => m a -> m a -> m Bool -> m a On Nov 16, 2016 10:06 PM, "M Farkas-Dyck" <m.farkasdyck@gmail.com> wrote:
Could we use `bool` rather than add a new term for RebindableSyntax? i.e. define if-then-else in terms of `bool`. _______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries