Skip to content

Tinkering with Lambda Calculus (Binary representations, DeBruijn indices, Automatic Church encoding)

Notifications You must be signed in to change notification settings

helvm/lambda-calculus

Β 
Β 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

Β 

History

15 Commits
Β 
Β 
Β 
Β 
Β 
Β 

Repository files navigation

πŸ«– COC

LOL. I'm a teapot. The Celestial Teapot. And this is my Contributor Covenant Code of Conduct.

πŸ¦„ 🌈 ❀️ πŸ’› πŸ’š πŸ’™ 🀍 πŸ–€

About

Tinkering with Lambda Calculus (Binary representations, DeBruijn indices, Automatic Church encoding)

Topics

Code of conduct

Security policy

Stars

Watchers

Forks

Releases

No releases published

Sponsor this project

Packages

No packages published

Languages

  • Haskell 100.0%