(drwxr-xr-x) | 28-Sep-2026 16:36 | | ../ | |
(-rw-r--r--) | 28-Sep-2026 16:36 | 2.2k | decl.proto | |
(-rw-r--r--) | 28-Sep-2026 16:36 | 4.1k | eval.proto | |
(-rw-r--r--) | 28-Sep-2026 16:36 | 8.7k | expr.proto | |
(-rw-r--r--) | 28-Sep-2026 16:36 | 2.1k | source.proto | |
(-rw-r--r--) | 28-Sep-2026 16:36 | 2.8k | value.proto |