3 ms·

Doesn't this have some relation to https://en.wikipedia.org/wiki/Church_encoding https://en.wikipedia.org/wiki/Church_encoding

• loeg 10y ago
  It's basically a prime sieve done on a string encoding.
• deleted 10y ago
  [deleted]