Re: Which stable GHC release is expected to have support for linear types?

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 mail@joachim-breitner.de http://www.joachim-breitner.de/