| 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-custom-code | 106 | logplain |
| d--------- | 09-imports | 106 | logplain |
| d--------- | 10-transient-0 | 106 | logplain |
| -rwxr-xr-x | renumber.py | 1436 | logplain |
 |
index : hobgoblin | |
| Unnamed repository; edit this file 'description' to name the repository. |
| summaryrefslogtreecommitdiff |