]> gitweb.factorcode.org Git - factor.git/commitdiff
Add comment
authorSlava Pestov <slava@slava-pestovs-macbook-pro.local>
Wed, 30 Jul 2008 15:23:21 +0000 (10:23 -0500)
committerSlava Pestov <slava@slava-pestovs-macbook-pro.local>
Wed, 30 Jul 2008 15:23:21 +0000 (10:23 -0500)
extra/boolean-expr/boolean-expr.factor

index b2083eed5558edf375f8f7bc6c42dccb9c415e9c..5bf4bf3ad3594ae0a6f87882aac6e131c40015b6 100644 (file)
@@ -11,8 +11,7 @@ TUPLE: ⋀ x y ;
 TUPLE: ⋁ x y ;
 TUPLE: ¬ x ;
 
-SINGLETON: ⊤
-SINGLETON: ⊥
+SINGLETONS: ⊤ ⊥ ;
 
 SINGLETONS: P Q R S T U V W X Y Z ;