optimal lambda calculus reducer with delimiter bookkeeping (fork)
-
Updated
Sep 16, 2025 - Haskell
optimal lambda calculus reducer with delimiter bookkeeping (fork)
Add a description, image, and links to the lambdascope topic page so that developers can more easily learn about it.
To associate your repository with the lambdascope topic, visit your repo's landing page and select "manage topics."