| 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>"); |
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 |