]>
drwxr-xr-x | .. | ||
drwxr-xr-x | - | alien | tree | history |
drwxr-xr-x | - | comparisons | tree | history |
drwxr-xr-x | - | expressions | tree | history |
drwxr-xr-x | - | folding | tree | history |
drwxr-xr-x | - | graph | tree | history |
drwxr-xr-x | - | math | tree | history |
drwxr-xr-x | - | misc | tree | history |
drwxr-xr-x | - | rewrite | tree | history |
drwxr-xr-x | - | simd | tree | history |
drwxr-xr-x | - | slots | tree | history |
-rw-r--r-- | 59 | summary.txt | blob | history | raw |
-rw-r--r-- | 64606 | value-numbering-tests.factor | blob | history | raw |
-rw-r--r-- | 1756 | value-numbering.factor | blob | history | raw |