Updated 5 months ago
https://github.com/adamouization/lambda-calculus-proofs
Short proofs about using the Lambda-Calculus as a Programming Language (2017)
Updated 5 months ago
https://github.com/awslabs/workflow-data-structure-utilities
Utilities which assist in manipulating data structures in workflow systems