| Mode | Name | Size | |
|---|---|---|---|
| d--------- | 01-struct | 106 | logplain |
| d--------- | 02-sum | 106 | logplain |
| d--------- | 03-inductive-data-types | 106 | logplain |
| d--------- | 04-enum | 106 | logplain |
| d--------- | 05-list | 106 | logplain |
| d--------- | 06-native-type | 106 | logplain |
| d--------- | 07-native-type-custom-config | 106 | logplain |
| d--------- | 08-shared | 106 | logplain |
| d--------- | 09-custom-code | 106 | logplain |
| d--------- | 10-imports | 106 | logplain |
| d--------- | 11-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 |