Tupper's self-referential formula, implemented in OCaml | Hacker News Reader