https://github.com/stardustdl/lamcal

An online calculator for lambda calculus (λx. y).
https://github.com/stardustdl/lamcal

lambda-calculus naive-ui nodejs vite vue

Last synced: about 2 months ago
JSON representation

An online calculator for lambda calculus (λx. y).

• Host: GitHub
• URL: https://github.com/stardustdl/lamcal
• Owner: StardustDL
• License: mpl-2.0
• Created: 2021-09-23T09:52:20.000Z (over 3 years ago)
• Default Branch: master
• Last Pushed: 2023-03-06T08:03:41.000Z (almost 2 years ago)
• Last Synced: 2024-04-28T01:20:28.312Z (9 months ago)
• Topics: lambda-calculus, naive-ui, nodejs, vite, vue
• Language: Vue
• Homepage: http://www.stardustdl.top/lamcal/
• Size: 657 KB
• Stars: 7
• Watchers: 1
• Forks: 2
• Open Issues: 3
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
[![Lamcal](https://socialify.git.ci/StardustDL/lamcal/image?description=1&font=Bitter&forks=1&issues=1&language=1&owner=1&pattern=Plus&pulls=1&stargazers=1&theme=Light)](https://github.com/StardustDL/lamcal)

![](https://github.com/StardustDL/lamcal/workflows/CI/badge.svg) ![](https://img.shields.io/github/license/StardustDL/lamcal.svg)

An online calculator for lambda calculus (λx. y).

Visit [here](http://www.stardustdl.top/lamcal/).

## Examples

```

(λu. λv. v)((λx. x x)(λx. x x))

-> λv. v

(λx. x x) ((λy. y) (λz. z))

-> λz. z

(λe. λf. e) ((λa. λb. a) x y) ((λc. λd. c) u v)

-> x

(λx. x (λy. x y y) x)(λz. λw. z)

-> λy.((λz.λw.z) y y)

-> λy.y

```