GitHub repository: sweirich/lambda-n-ways
Primary language: HTML
Created: 2021-07-22T14:53:08Z
Description: Benchmarks for capture-avoiding substitution