| Name | Size | Permissions | Actions |
|---|---|---|---|
| 📄 building.html | 24.831K | -rw-r--r-- | |
| 📄 embedding.html | 42.365K | -rw-r--r-- | |
| 📄 extending.html | 137.219K | -rw-r--r-- | |
| 📄 index.html | 16.822K | -rw-r--r-- | |
| 📄 newtypes.html | 76.734K | -rw-r--r-- | |
| 📄 newtypes_tutorial.html | 182.598K | -rw-r--r-- | |
| 📄 windows.html | 18.532K | -rw-r--r-- |