Re^4: BlooP and FlooP and GlooP: Turing Equivalence, Lazy Evaluation, and Perl6

Select or download this

  S := A \in A => A \in S

Select or download this

  S \in S => S \in S

Select or download this

  R \notin R => R \in R

Select or download this

  S := (A = S | A \in A) => A \in S
  or S := (A != S & A \in A) => A \in S
  R := (A = R | A \notin A) => A \in R
  or R := (A != R & A \notin A) => A \in R

Select Code to Download