chiark / gitweb /
check wip
-rw-r--r-- 3 .gitignore
-rw-r--r-- 28 Makefile
-rwxr-xr-x 256 check
-rwxr-xr-x 67 escape
-rw-r--r-- 619 generate.c