helvm / lambda-davidandrzej Public

forked from davidandrzej/lambda

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Repo for working though ideas from "Lambda-Calculus and Combinators" by Hindley and Seldin.

BSD-3-Clause license

0 stars 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 15 Commits
app		app
src		src
test		test
.gitignore		.gitignore
ChangeLog.md		ChangeLog.md
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
package.yaml		package.yaml
stack.yaml		stack.yaml
stack.yaml.lock		stack.yaml.lock

Repository files navigation

lambda

Some toy code to work through ideas from Lambda-Calculus and Combinators by Hindley and Seldin.

About

Repo for working though ideas from "Lambda-Calculus and Combinators" by Hindley and Seldin.

lambda calculus lambda-calculus heltc

BSD-3-Clause license

Code of conduct

Security policy

Custom properties

Report repository

Releases

No releases published

Sponsor this project

Packages

Languages

Haskell 100.0%