blob: f61a31f9fed5d97e1a5b926bb378ef49be5774b3 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
# BLC2BLC
Easily convert binary lambda calculus encodings to other binary lambda
calculus encodings!
## Encodings
See [`experiments.md`](experiments.md) for detailed explanations and
some comparisons.
Please create a PR if you know of other (better?) encodings!
## Usage
``` bash
$ make install # or make run
```
Then use `blc2blc <from> <to>`. For example:
``` bash
$ echo 001110 | blc2blc blc blc2
0011100
```
|
