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