{"id":17229356,"url":"https://github.com/fpoli/lambda","last_synced_at":"2025-03-25T19:19:15.042Z","repository":{"id":24634548,"uuid":"28043786","full_name":"fpoli/lambda","owner":"fpoli","description":"Lambda Machine in Haskell","archived":false,"fork":false,"pushed_at":"2016-01-16T14:56:18.000Z","size":39,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-01-30T16:48:00.614Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/fpoli.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2014-12-15T15:53:16.000Z","updated_at":"2016-01-16T14:56:21.000Z","dependencies_parsed_at":"2022-07-25T11:15:05.896Z","dependency_job_id":null,"html_url":"https://github.com/fpoli/lambda","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fpoli%2Flambda","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fpoli%2Flambda/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fpoli%2Flambda/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fpoli%2Flambda/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/fpoli","download_url":"https://codeload.github.com/fpoli/lambda/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":245526519,"owners_count":20629837,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-10-15T04:47:37.355Z","updated_at":"2025-03-25T19:19:14.999Z","avatar_url":"https://github.com/fpoli.png","language":"Haskell","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Lambda\n\nUntyped Lambda Calculus Machine, with functions for encoding simple datatypes (`Int`, `Bool`, `Either`, `Pair`) back and forth their lambda-representation.\n\n[![Build Status](https://travis-ci.org/fpoli/lambda.svg?branch=master)](https://travis-ci.org/fpoli/lambda)\n\n\n## Example\n\n```haskell\nimport Prelude hiding (succ)\nimport Lambda.Engine\nimport Lambda.Types.Int\n\nmain :: IO()\nmain = do\n    let two = succ $ succ zero\n    print two\n    -- output: λc.λd.d(λa.λb.b(λx.λy.x)((λx.λy.x)(a)(b)))((λa.λb.b(λx.λy.x)((λx.λy.x)(a)(b)))(c)(d))\n\n    print $ reduceAll two\n    -- output: λc.λd.d(λa.λb.b(λx.λy.x)(a))(d(λc.λa.c)(c))\n\n    putStrLn $ showInt two\n    -- output: succ(succ(zero))\n```\n\n\n## Usage\n\n- `make clean`\n- `make deps`\n- `make lint`\n- `make test`\n- `make build`\n- `make run`\n\n\n## License\n\nCopyright (C) 2014-2015 Federico Poli \u003cfederpoli@gmail.com\u003e\n\nReleased under the GNU General Public License, version 3.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ffpoli%2Flambda","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ffpoli%2Flambda","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ffpoli%2Flambda/lists"}