/src/

• ../
• equation.ts
• lambda-calculus.ts
• natural-numbers.ts
• tests
• utils