OK. So this is where things like identity, terminal, zero, introduction, elimination, etc. flesh out the symmetry. Ugh. It just feels like a hack. But maybe I'm not thinking clearly. I'll stop now.
On 2/10/21 2:08 PM, Marcus Daniels wrote: > If you have a non-reaction, then I think you'd switch to a non-unique type or > you'd explicitly duplicate. Return (x,x) instead of x and then destructure > the former. -- ↙↙↙ uǝlƃ - .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. . FRIAM Applied Complexity Group listserv Zoom Fridays 9:30a-12p Mtn GMT-6 bit.ly/virtualfriam un/subscribe http://redfish.com/mailman/listinfo/friam_redfish.com FRIAM-COMIC http://friam-comic.blogspot.com/ archives: http://friam.471366.n2.nabble.com/
