patch icon indicating copy to clipboard operation
patch copied to clipboard

Published 20 hours ago • verified publisher icon reflex-frp

Instead of `Identity` use `First`

Open Ericson2314 opened this issue 5 years ago • 0 comments

Giving Identity meaning just seems wrong: it should just get the underlying patch instance if it does anything at all. Worse, one cannot define the associated semigroup. First however already has the semi-group we want, so we should instead use it as the "replacement" patch.

Ericson2314 avatar Jan 11 '20 09:01 Ericson2314