| Mode | Name | Size | |
|---|---|---|---|
| d--------- | 01-struct | 106 | logplain |
| d--------- | 02-struct-singleton | 106 | logplain |
| d--------- | 03-sum | 106 | logplain |
| d--------- | 04-box | 106 | logplain |
| d--------- | 05-inductive-data-types | 106 | logplain |
| d--------- | 06-inductive-data-types-separate-namespaces | 106 | logplain |
| d--------- | 07-enum | 106 | logplain |
| d--------- | 08-list | 106 | logplain |
| d--------- | 09-native-type | 106 | logplain |
| d--------- | 10-native-type-custom-config | 106 | logplain |
| d--------- | 11-shared | 106 | logplain |
| d--------- | 12-custom-code | 106 | logplain |
| d--------- | 13-imports | 106 | logplain |
| d--------- | 14-transient-0 | 106 | logplain |
| -rwxr-xr-x | renumber.py | 1436 | logplain |
| d--------- | templates / java-junit | 37 | logplain |
 |
index : hobgoblin | |
| Unnamed repository; edit this file 'description' to name the repository. |
| summaryrefslogtreecommitdiff |