15 Jul
2017
15 Jul
'17
8:36 a.m.
On Sat, Jul 15, 2017 at 4:57 AM, Bardur Arantsson
Maybe, but it seems a bit fragile to me...
What about -*? At least there's no ambiguity there.
As previously stated: "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." -- brandon s allbery kf8nh sine nomine associates allbery.b@gmail.com ballbery@sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net