Name		Name	Last commit message	Last commit date
Latest commit History 13 Commits
app		app
example-images		example-images
src/Lambda		src/Lambda
test		test
.DS_Store		.DS_Store
.gitignore		.gitignore
ChangeLog.md		ChangeLog.md
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
lambda-calculus.cabal		lambda-calculus.cabal
package.yaml		package.yaml
stack.yaml		stack.yaml
stack.yaml.lock		stack.yaml.lock

Repository files navigation

Lambda Calculus

Lambda Item

Variable x
Abstraction λ x. M
Application M N

Lambda Reduction

α-conversion
β-reduction
η-reduction

Demo

This is a simple example of Y combinator.

About

Just a simple lambda calculus.

lambda-calculus heltc

Code of conduct

Security policy

Custom properties

Report repository

Releases

No releases published

Sponsor this project

Packages

No packages published

Languages

Haskell 100.0%