https://github.com/laszlokorte/combinators

https://github.com/laszlokorte/combinators

combinators lambda-calculus

Last synced: 3 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/laszlokorte/combinators
• Owner: laszlokorte
• Created: 2023-11-30T15:44:02.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2025-05-27T01:11:55.000Z (11 months ago)
• Last Synced: 2025-06-08T18:02:39.334Z (11 months ago)
• Topics: combinators, lambda-calculus
• Language: HTML
• Homepage: https://static.laszlokorte.de/combinators/
• Size: 1.89 MB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          


# Lambda Calculus and Combinators

This page is inspired by the talk A Flock of functions by Gabriel Lebec




Combinators are functions (in the sense of lambda calculus) that are defined in terms of nothing but there arguments.



Read more...