diff --git "a/test/data/primes.\360\237\215\217" "b/test/data/primes.\360\237\215\217" new file mode 100644 index 000000000..d543a7bae --- /dev/null +++ "b/test/data/primes.\360\237\215\217" @@ -0,0 +1,5 @@ +λN. +{ + isPrime ← λn.¬((∨)/ₒ #f ([(n|x)=0]'(⍳ 2 (⌊(√(ℝn))) 1))); + isPrime'(irange 2 N 1) +}