| Name | Type | Size | Permission | Actions |
|---|---|---|---|---|
| building.html | File | 16 KB | 0644 | Edit | Rename | Chmod | Delete |
| embedding.html | File | 36.01 KB | 0644 | Edit | Rename | Chmod | Delete |
| extending.html | File | 128.85 KB | 0644 | Edit | Rename | Chmod | Delete |
| index.html | File | 11.13 KB | 0644 | Edit | Rename | Chmod | Delete |
| newtypes.html | File | 246.07 KB | 0644 | Edit | Rename | Chmod | Delete |
| windows.html | File | 28.36 KB | 0644 | Edit | Rename | Chmod | Delete |