https://github.com/whiteblackgoose/lamca

Lambda Calculus Calculator in Haskell
https://github.com/whiteblackgoose/lamca

Last synced: 18 days ago
JSON representation

Lambda Calculus Calculator in Haskell

• Host: GitHub
• URL: https://github.com/whiteblackgoose/lamca
• Owner: WhiteBlackGoose
• License: gpl-3.0
• Created: 2023-06-02T22:57:03.000Z (over 1 year ago)
• Default Branch: master
• Last Pushed: 2023-06-03T11:05:40.000Z (over 1 year ago)
• Last Synced: 2024-10-19T18:46:34.114Z (30 days ago)
• Language: Haskell
• Size: 76.2 KB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Lamca

Lambda Calculus Calculator written in haskell. Nothing new.

To run it:

```

nix develop github:WhiteBlackGoose/lamca --command cabal run

```

![](./demo.gif)

## Syntax

The following are examples

One variable:

```

x

```

Application of `y` to `x`:

```

xy

```

Abstraction:

```

\x.x

```

Application of `y` to abstraction `\x.x`:

```

(\x.x)y

```

## Interactive

```

a expr expr

b expr

e expr

v expr

sub x expr expr

```