use the new file API in most places
tree690c843c5e4a35e10a011f588255b1fc00a98243
-rw-r--r-- 59 .gitattributes
-rw-r--r-- 8 .gitignore
-rw-r--r-- 1508 COPYRIGHT.md
-rw-r--r-- 3636 Makefile
-rw-r--r-- 10772 README.md
-rw-r--r-- 12481 anagrams.tlv
-rw-r--r-- 10233 chesstv.tlv
-rw-r--r-- 3498 commander.tlv
-rw-r--r-- 2069 counter.tlv
drwxr-xr-x - doc
-rw-r--r-- 15457 gemini.tlv
-rw-r--r-- 4152 hanoi.tlv
-rw-r--r-- 21640 life.tlv
-rw-r--r-- 5089 lisp.lua
-rw-r--r-- 13143 lisp.tlv
-rw-r--r-- 1909 manual_tests
drwxr-xr-x - sandboxing
-rw-r--r-- 509 shell.nix
-rw-r--r-- 5230 sieve.tlv
drwxr-xr-x - src
-rw-r--r-- 12196 template.tlv
-rw-r--r-- 18396 toot-toot.tlv
-rw-r--r-- 5325 tour.md
-rw-r--r-- 128700 zet.tlv