lambda-calcul/support/2025-10-09.md


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

---
title: How I learnt to love typed λ-calculus
subtitle: An experimental workshop to explore the computational foundation of the universe, and have fun
date: 2025-11-06
---

## Agenda

* Introduction
* Action
* Conclusion

## Introduction

## Action

## Conclusion