| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| timestamp-Monoid-20251010-133300.ts | 8 B | 2025-Oct-10 13:35 |
| timestamp-Monoid-20251010-133709.ts | 12 B | 2025-Oct-10 13:40 |
| timestamp-Monoid-20251010-134123.ts | 8 B | 2025-Oct-10 13:43 |
| Monoid.txt | 4.7 KiB | 2025-Oct-10 13:45 |
| Monoid.where | 394 B | 2025-Oct-10 13:45 |
| Monoid.dglwhere | 1 B | 2025-Oct-10 13:45 |
| Monoid.lst | 237 B | 2025-Oct-10 13:45 |