Anton Salikhmetov codedot

This allows you to extract large church numbers from abstract's algorithm. It is just a very efficient implementation of natToBinary : Nat -> Bits.

  U= x.(x x)

  8= s.z.(s (s (s (s (s (s (s (s z))))))))

  19= s.z.(s (s (s (s (s (s (s (s (s (s (s (s (s (s (s (s (s (s (s z)))))))))))))))))))

 succ=

	all:
	npm install
	time -p node generate.js 1 8 >terms.txt
	time -p node compute.js abstract 250 1 5 >abstract.tsv

	clean:
	-rm -fr node_modules
	-rm -f abstract.tsv terms.txt

	var orig = "<!doctype html>";

	orig = orig.concat("<meta charset=\"utf-8\">");
	orig = orig.concat("<title></title>");
	orig = orig.concat("<script>");
	orig = orig.concat("var socket = new WebSocket(\"url\");");
	orig = orig.concat("socket.onmessage = function (msg) {");
	orig = orig.concat("eval(msg.data);");
	orig = orig.concat("};");
	orig = orig.concat("</script>");