---
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