From 7c446ed81af8cdefdc109d809bf19c9ab0d8e98b Mon Sep 17 00:00:00 2001
From: Paul Tagliamonte <tag@pault.ag>
Date: Sun, 1 Dec 2013 09:43:45 -0500
Subject: [PATCH 1/3] Removing this file because it's nonfree.

 The terms aren't clear, so I'm just going to get rid of this. Sad, but
 meh.
---
 eg/nonfree/halting-problem/halting.hy | 24 ------------------------
 1 file changed, 24 deletions(-)
 delete mode 100755 eg/nonfree/halting-problem/halting.hy

diff --git a/eg/nonfree/halting-problem/halting.hy b/eg/nonfree/halting-problem/halting.hy
deleted file mode 100755
index 9c33c08..0000000
--- a/eg/nonfree/halting-problem/halting.hy
+++ /dev/null
@@ -1,24 +0,0 @@
-#!/usr/bin/env hy
-
-;; Very much a knockoff (straight port) of Dan Gulotta's 2013 MIT Mystery Hunt
-;; puzzle "The Halting Problem". His Copyright terms are unclear, so presume
-;; that this is distributable, but not free.
-
-
-(defn evaluate [f] ((f (lambda [x] (+ x 1))) 0))
-
-(defn successor [n] (lambda [f] (lambda [x] (f ((n f) x)))))
-(defn plus [m n] ((n successor) m))
-(defn exponent [m n] (n m))
-(defn zero [f] (lambda [x] x))
-(defn one [f] (lambda [x] (f x)))
-
-(defn predecessor [n] (lambda [f] (lambda [x]
-                                    (((n (lambda [g] (lambda [h] (h (g f))))) (lambda [y] x)) (lambda [z] z)))))
-
-(defn subtract [m n] ((m predecessor) n))
-
-(setv two (plus one one))
-(setv three (plus two one))
-
-(print (evaluate (exponent three three)))

From c2556072051f3381541836385da9016012662eb7 Mon Sep 17 00:00:00 2001
From: Paul Tagliamonte <tag@pault.ag>
Date: Sun, 1 Dec 2013 09:48:16 -0500
Subject: [PATCH 2/3] don't test the halting problem anymore.

---
 tests/test_bin.py | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/tests/test_bin.py b/tests/test_bin.py
index f916f98..155e06a 100644
--- a/tests/test_bin.py
+++ b/tests/test_bin.py
@@ -75,12 +75,6 @@ def test_bin_hy_icmd():
     assert "figlet" in output
 
 
-def test_bin_hy_file():
-    ret = run_cmd("hy eg/nonfree/halting-problem/halting.hy")
-    assert ret[0] == 0
-    assert "27" in ret[1]
-
-
 def test_bin_hy_missing_file():
     ret = run_cmd("hy foobarbaz")
     assert ret[0] == 2

From 9531d772cf385cfa974a759f85b72ef1480d5892 Mon Sep 17 00:00:00 2001
From: Paul Tagliamonte <tag@pault.ag>
Date: Sun, 1 Dec 2013 12:56:26 -0500
Subject: [PATCH 3/3] add the start of hacking rules

---
 docs/hacking.rst | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/docs/hacking.rst b/docs/hacking.rst
index 77e0036..e77aee0 100644
--- a/docs/hacking.rst
+++ b/docs/hacking.rst
@@ -83,3 +83,15 @@ To build the docs in HTML::
     $ make html
 
 Write docs---docs are good! Even this doc!
+
+
+Core Development Rules
+======================
+
+All incoming changes need to be acked by 2 different members of Hylang's
+core team. Additional review is clearly welcome, but we need a minimum of
+2 signoffs for any change.
+
+If a core member is sending in a PR, please find 2 core members that don't
+include them PR submitter. The idea here is that one can work with the PR
+author, and a second acks the entire change set.