GitHub repository: txa/substitution
Primary language: TeX
Created: 2024-08-27T11:55:50Z
Description: Substitution for Simply Typed Lambda Calculus