Add a script for tracking stats for the project as it evolves.
treeee16ebbcb924288bfe5fac3d73ddd61196dffa86
-rw-r--r-- 39 .gitignore
-rw-r--r-- 3414 BIBLIOGRAPHY
-rw-r--r-- 1786 FILEFORMAT
-rw-r--r-- 1483 LICENSE
-rw-r--r-- 733 Makefile
-rw-r--r-- 2108 README
drwxr-xr-x - compiler
drwxr-xr-x - docs
drwxr-xr-x - lang_ext
drwxr-xr-x - runtime
drwxr-xr-x - sketches
-rwxr-xr-x 1626 stats.sh
drwxr-xr-x - tests
drwxr-xr-x - utilities