| Name | Type | Size | Permission | Actions |
|---|---|---|---|---|
| building.html | File | 24.83 KB | 0644 | Edit | Rename | Chmod | Delete |
| embedding.html | File | 42.37 KB | 0644 | Edit | Rename | Chmod | Delete |
| extending.html | File | 137.22 KB | 0644 | Edit | Rename | Chmod | Delete |
| index.html | File | 16.82 KB | 0644 | Edit | Rename | Chmod | Delete |
| newtypes.html | File | 76.73 KB | 0644 | Edit | Rename | Chmod | Delete |
| newtypes_tutorial.html | File | 182.6 KB | 0644 | Edit | Rename | Chmod | Delete |
| windows.html | File | 18.53 KB | 0644 | Edit | Rename | Chmod | Delete |