- From: Dan Connolly <connolly@w3.org>
- Date: Mon, 8 Dec 2003 18:56:52 -0800
- To: Tim Berners-Lee <timbl@w3.org>, www-archive+n3bugs@w3.org
Found this while reviewing notes on my WearableGizmo; composed it while
jetlagged in Japan diring the TAG meeting...
( 'fido 'X {X a Dog}) subst { fido a Dog }.
C setofall ('X {X a Int. X < 3 }).
{ C setofall (V F) } <=> { this log:forall X. { X a C } <=> (X V
F).subst }.
Hmmm... Would this work for induction?
--
Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Monday, 8 December 2003 22:42:35 UTC