| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| transformations.nools | 23.9 KiB | 2021-May-12 18:20 |
| productionrules.nools | 17.8 KiB | 2021-May-12 18:20 |
| simplifications.nools | 10.8 KiB | 2021-May-12 18:20 |
| functions.nools | 6.9 KiB | 2021-May-12 18:20 |
| types.nools | 5.1 KiB | 2021-May-12 18:20 |
| skills.nools | 1.2 KiB | 2021-May-12 18:20 |