Tupper's self-referential formula, implemented in OCaml(aplusbi.com)17 points·by aplusbi·17년 전·0 commentsaplusbi.comTupper's self-referential formula, implemented in OCamlhttp://www.aplusbi.com/?page_id=90 commentsPost comment—