Permalink
Browse files

for-all? is functional

  • Loading branch information...
1 parent fc8b56a commit 50fb2d8f84b403451f61c5ce276b615ff9099cde @mcandre committed Aug 25, 2011
Showing with 4 additions and 1 deletion.
  1. +1 −1 example.factor
  2. +3 −0 factcheck.factor
View
@@ -9,7 +9,7 @@ IN: example
: gen-even ( -- n ) gen-integer dup even? [ ] [ 1 + ] if ;
: main ( -- )
- prop-even [ gen-even ] for-all? .
+ [ prop-even ] [ gen-even ] for-all? .
! ...
;
View
@@ -1,3 +1,6 @@
+! Andrew Pennebaker <andrew.pennebaker@gmail.com>
+! With help from Joe Groff <arcata@gmail.com>
+
USING: kernel random math sequences strings fry prettyprint ;
IN: factcheck

0 comments on commit 50fb2d8

Please sign in to comment.