💾 Archived View for oortcloud.flounder.online › junk › Capprox.gmi captured on 2024-02-05 at 09:26:10. Gemini links have been rewritten to link to archived content

View Raw

More Information

-=-=-=-=-=-=-

	   NB. TODO check order swap
 
x~y ==> y :~ x
x:~y ==> f x :~ f y
f:~g ==> f x :~ g x
x :~ NotYet
x :~ x
y :~ z ==> x,y :~ x,z
x :~ a && y :~ b ==> (x|y) :~ (a & b) && (x&y) :~ (a|b)