More work on live compilation. (In progress.)
tree2f997c6f88e2d1a7ec07a42de620395bafc3da2d
-rw-r--r-- 139 .gitignore
-rw-r--r-- 1056 License
-rw-r--r-- 8006 Notes
-rw-r--r-- 283 build-settings
drwxr-xr-x - docs
drwxr-xr-x - library
-rw-r--r-- 158 load-trylid.k
drwxr-xr-x - sources
-rw-r--r-- 643 start-self.k
-rw-r--r-- 646 start.k
drwxr-xr-x - tests