GitHub repository: makabaka1880/PyLambda
Primary language: Python
Created: 2025-03-28T13:20:06Z
Description: A λ-calculus implementation using python