Hi, Am Mittwoch, den 12.07.2017, 23:47 +0300 schrieb Wolfgang Jeltsch: > Alternatives for “-o” I can think of are “~>”, “-:”, and “-*”, the > latter resembling the magic wand operators in the logic of bunched > implications and in separation logic, which are similar to the > lollipop in linear logic.
how about -<> ? Joachim -- Joachim Breitner m...@joachim-breitner.de http://www.joachim-breitner.de/
signature.asc
Description: This is a digitally signed message part
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
