Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .long-fixpoint.swp | 188416 | logplainabout |
-rw-r--r-- | generate-system.py | 699 | logplainabout |
-rw-r--r-- | long-fixpoint | 137804 | logplainabout |
-rw-r--r-- | min-test | 42 | logplainabout |
-rw-r--r-- | random-system | 10 | logplainabout |
-rw-r--r-- | size-ten | 73 | logplainabout |
-rw-r--r-- | small | 6 | logplainabout |