From 21befc8c8ab2e91632f5341b4fa9425cf3c815ff Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Mon, 13 Oct 2025 09:18:10 +0200 Subject: update from workshop 2bis --- lambda-calcul/support/typing-rules.png | Bin 0 -> 21292 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 lambda-calcul/support/typing-rules.png (limited to 'lambda-calcul/support/typing-rules.png') diff --git a/lambda-calcul/support/typing-rules.png b/lambda-calcul/support/typing-rules.png new file mode 100644 index 0000000..408ff28 Binary files /dev/null and b/lambda-calcul/support/typing-rules.png differ -- cgit v1.3.1