From 7752d73216578d5961751b5d0535088d384b4aa6 Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud.bailly@iohk.io>
Date: Sat, 25 Jan 2025 10:45:41 +0100
Subject: Move λ-calcul workshop code to subdirectory
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 lambda-calcul/papers/sestoft-lamreduce.pdf | Bin 0 -> 142164 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 lambda-calcul/papers/sestoft-lamreduce.pdf

(limited to 'lambda-calcul/papers')

diff --git a/lambda-calcul/papers/sestoft-lamreduce.pdf b/lambda-calcul/papers/sestoft-lamreduce.pdf
new file mode 100644
index 0000000..2013f1d
Binary files /dev/null and b/lambda-calcul/papers/sestoft-lamreduce.pdf differ
-- 
cgit v1.2.3