summaryrefslogtreecommitdiff
path: root/lambda-calcul/support/typing-rules.png
AgeCommit message (Collapse)Author
2025-10-13update from workshop 2bisArnaud Bailly