diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-05 06:44:24 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-05 06:44:24 +0100 |
| commit | dff1c912eb69ad1f97f030bd0fdb7d440b2dc534 (patch) | |
| tree | f8c196f6236dfc7e39958cb8194e207c67458d28 /lambda-calcul/support/typing-rules.png | |
| parent | cd46eaf57fac4e452f11747a1d420f901c630552 (diff) | |
| download | lambda-nantes-dff1c912eb69ad1f97f030bd0fdb7d440b2dc534.tar.gz | |
use default challenges if file does not exist
Diffstat (limited to 'lambda-calcul/support/typing-rules.png')
0 files changed, 0 insertions, 0 deletions