summaryrefslogtreecommitdiff
path: root/lambda-calcul/support
ModeNameSize
-rw-r--r--2024-10-10.md6289logplain
-rw-r--r--2024-10-10.pdf60690logplain
-rw-r--r--2025-10-09.md735logplain
-rw-r--r--2025-10-09.pdf54912logplain
-rw-r--r--Makefile258logplain
-rw-r--r--qrcode.jpg10892logplain
-rw-r--r--qrcode.png545logplain
-rw-r--r--typing-rules.png21292logplain