You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Mar 18, 2019. It is now read-only.
... should be equivalent. This is not quite as trivial as it may look at first glance, since one might also say:
(= (:ip x) (:ip y))
... but that's a different thing, and should compile down differently: the latter can't just be expressed as a single featurec, but instead is a fresh variable and two featurec relations (one for x, one for y).
The text was updated successfully, but these errors were encountered:
#29 (implemented by #36) lets you express:
... but:
... should be equivalent. This is not quite as trivial as it may look at first glance, since one might also say:
... but that's a different thing, and should compile down differently: the latter can't just be expressed as a single
featurec
, but instead is a fresh variable and twofeaturec
relations (one forx
, one fory
).The text was updated successfully, but these errors were encountered: