Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | archive.txt | 6967 | logplain |
d--------- | default | 187 | logplain |
-rw-r--r-- | forest-format.org | 202 | logplain |
-rw-r--r-- | genins.rs | 29795 | logplain |
-rw-r--r-- | mod.rs | 2871 | logplain |
-rw-r--r-- | reduction.rs | 17079 | logplain |
-rw-r--r-- | thoughts-on-reducer.org | 5434 | logplain |