| Name | Type | Size | Modified | Actions |
|---|---|---|---|---|
| ↩ .. | DIR | — | — | |
| 📄 cdesc-PrecedenceDefinitionEnv.ri | RI | 586 B | 2025-10-01 20:48 | EDIT |
| 📄 higher-i.ri | RI | 281 B | 2025-10-01 20:48 | EDIT |
| 📄 left-i.ri | RI | 282 B | 2025-10-01 20:48 | EDIT |
| 📄 lower-i.ri | RI | 279 B | 2025-10-01 20:48 | EDIT |
| 📄 new-c.ri | RI | 277 B | 2025-10-01 20:48 | EDIT |
| 📄 nonassoc-i.ri | RI | 290 B | 2025-10-01 20:48 | EDIT |
| 📄 reverse-i.ri | RI | 286 B | 2025-10-01 20:48 | EDIT |
| 📄 right-i.ri | RI | 284 B | 2025-10-01 20:48 | EDIT |