| Name | Size | Last Modified |
|---|---|---|
| ../ | - | |
| DEVELOPMENT | 2.1kB | 2026-02-14 16:47:03 |
| README.md | 2.9kB | 2026-02-14 16:47:03 |
| TODO | 114 B | 2026-02-14 16:47:03 |
| _oasis | 556 B | 2026-02-14 16:47:03 |
| coding_standards.md | 67 B | 2026-02-14 16:47:03 |
| descr | 48 B | 2026-02-14 16:47:03 |
| opam | 163 B | 2026-02-14 16:47:03 |
| src/ | - | 2026-02-14 16:47:03 |
| url | 73 B | 2026-02-14 16:47:03 |