diff --git a/README.org b/README.org new file mode 100644 index 0000000..e2dd323 --- /dev/null +++ b/README.org @@ -0,0 +1,13 @@ +* The Cult of the Bound Variables + +Solutions to the [[http://www.boundvariable.org/task.shtml][2006 ICFP Programming Contest]]. + +** Universal Machine + +The Universal Machine is implemented in [[um.c]]. Compile it with =make= +and run it on a UM program: + +#+begin_src sh + ./um sandmark.umz # benchmark + ./um codex.umz +#+end_src