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%