@david_chisnall I think I agree about banning unary negation (the FP case, as you pointed out elsewhere, can be handled in pleasing, though different, ways).
=> More informations about this toot | View the thread | More toots from ltratt@mastodon.social
=> View david_chisnall@infosec.exchange profile
text/geminiThis content has been proxied by September (3851b).