(drwxr-xr-x) | 28-Sep-2026 16:36 | | ../ | |
(-rw-r--r--) | 28-Sep-2026 16:36 | 12.8k | checked.proto | |
(-rw-r--r--) | 28-Sep-2026 16:36 | 4.0k | eval.proto | |
(-rw-r--r--) | 28-Sep-2026 16:36 | 1.7k | explain.proto | |
(-rw-r--r--) | 28-Sep-2026 16:36 | 14.6k | syntax.proto | |
(-rw-r--r--) | 28-Sep-2026 16:36 | 2.7k | value.proto |