| Name | Type | Size | Modified | Perms | Actions |
|---|---|---|---|---|---|
| 📄 cdesc-GzipStream.ri | File | 321 B | 2019-12-05 22:59:32 | 0644 | ⬇ |
| 📄 close-i.ri | File | 169 B | 2019-12-05 22:59:32 | 0644 | ⬇ |
| 📄 each-i.ri | File | 173 B | 2019-12-05 22:59:32 | 0644 | ⬇ |
| 📄 new-c.ri | File | 177 B | 2019-12-05 22:59:32 | 0644 | ⬇ |
| 📄 write-i.ri | File | 173 B | 2019-12-05 22:59:32 | 0644 | ⬇ |