https://github.com/phenax/playing-with-lambda-calculus

Experimenting with lambda calculus combinators, pure functional data structures, church numbers, and all that good shit in js
https://github.com/phenax/playing-with-lambda-calculus

Last synced: 11 months ago
JSON representation

Experimenting with lambda calculus combinators, pure functional data structures, church numbers, and all that good shit in js

• Host: GitHub
• URL: https://github.com/phenax/playing-with-lambda-calculus
• Owner: phenax
• License: mit
• Created: 2019-03-22T16:09:42.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2019-03-22T16:16:04.000Z (over 7 years ago)
• Last Synced: 2025-03-06T08:57:16.220Z (over 1 year ago)
• Language: JavaScript
• Homepage:
• Size: 5.86 KB
• Stars: 2
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# lambda-calculus

Experimenting with lambda calculus combinators, pure functional data structures, church numbers, and all that good shit

### Combinators

* Idiot I `\a.a`

* Mockingbird M `\f.ff`

* Kestrel K `\ab.a`

* Kite KI `\ab.b`

* Cardinal C `\fab.fba`

* Bluebird B `\fga.f (g a)`

* Viero V `\abf.fab`

### Data structures

* Pair

* List