diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2025-12-04 21:18:00 +0100 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2025-12-04 22:26:16 +0100 |
| commit | cc3483496781b10b6acd2450117b443d03957dc4 (patch) | |
| tree | 298960a0976a4678c514e1c5bf5a39301d3603d4 /Nominal/LambdaCalculus | |
| parent | da3ddb5f61bb3dae9978770a26cf276c5265a1b8 (diff) | |
fix depth
Diffstat (limited to 'Nominal/LambdaCalculus')
0 files changed, 0 insertions, 0 deletions