/doc/ default tip
drwxr-xr-x [up]
drwxr-xr-x historical
drwxr-xr-x oleg
drwxr-xr-x paper-notes
drwxr-xr-x talk
-rw-r--r-- 2019-01-16 17:15 +0000 11153 CoreTalk
-rw-r--r-- 2019-01-16 17:15 +0000 763 Joinable
-rw-r--r-- 2019-01-16 17:15 +0000 6359 Lisp3LexicalReflection
-rw-r--r-- 2019-01-16 17:15 +0000 221 Makefile
-rw-r--r-- 2019-01-16 17:15 +0000 327 SimplestThingThatCouldWork.txt
-rw-r--r-- 2019-01-16 17:15 +0000 332 TODO
-rw-r--r-- 2019-01-16 17:15 +0000 747 ThiNG-kernel.lyx
-rw-r--r-- 2019-01-16 17:15 +0000 1523 dotmacros.m4
-rw-r--r-- 2019-01-16 17:15 +0000 1515 hll.experiments
-rw-r--r-- 2019-01-16 17:15 +0000 1304 hll.lyx
-rw-r--r-- 2019-01-16 17:15 +0000 1412 kernel-graph.dot.m4
-rw-r--r-- 2019-01-16 17:15 +0000 2764 layers.lyx
-rw-r--r-- 2019-01-16 17:15 +0000 5220 metaoperations.lyx
-rw-r--r-- 2019-01-16 17:15 +0000 2189 new-ideas.thing
-rw-r--r-- 2019-01-16 17:15 +0000 1362 os.dot.m4
-rw-r--r-- 2019-01-16 17:15 +0000 1632 project-diary.lyx
-rw-r--r-- 2019-01-16 17:15 +0000 3755 pseudoambients.lyx
-rw-r--r-- 2019-01-16 17:15 +0000 7460 redb.lyx
-rw-r--r-- 2019-01-16 17:15 +0000 150 things-to-consider.txt