| Age | Commit message (Expand) | Author |
|---|---|---|
| 2025-01-25 | Move λ-calcul workshop code to subdirectory | Arnaud Bailly |
| 2024-10-10 | Instructions to build server | Arnaud Bailly |
| 2024-10-10 | Update README | Arnaud Bailly |
| 2024-09-30 | Add some documentation and a sample for pairs | Arnaud Bailly |
