Skip to content
This repository has been archived by the owner on Jul 9, 2024. It is now read-only.
/ lambda-calculus Public archive

Perform computation using purely abstract λ-functions

License

MIT license
0 stars 0 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

michael-0acf4/lambda-calculus

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

5 Commits
LICENSE
LICENSE
 
 
README.md
README.md
 
 
lambda.mjs
lambda.mjs
 
 
main.mjs
main.mjs
 
 

Repository files navigation

λ-calculus

Perform computation using purely abstract λ-functions. Included implementations:

  • Bird combinators
  • Church numerals
  • Boolean
  • AND, OR, NOT, succ, pred, add, mult, exp

References:

About

Perform computation using purely abstract λ-functions

Topics

javascript lambda birds lambda-calculus church-encoding combinators lambda-calculus-evaluator

Resources

Readme

License

MIT license
Activity

Stars

0 stars

Watchers

1 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages