| Name | Size | Permissions | Modified | Actions |
|---|---|---|---|---|
| 📂 Parent Directory | ||||
| 📄 building.txt | 5.2 KB | 2013-05-12 03:32 | ||
| 📄 embedding.txt | 11.2 KB | 2013-05-12 03:32 | ||
| 📄 extending.txt | 55.6 KB | 2013-05-12 03:32 | ||
| 📄 index.txt | 1.2 KB | 2013-05-12 03:32 | ||
| 📄 newtypes.txt | 58.5 KB | 2013-05-12 03:32 | ||
| 📄 windows.txt | 13.4 KB | 2013-05-12 03:32 | ||