BLC2BLC

Easily convert binary lambda calculus encodings to other binary lambda calculus encodings!

Encodings

See experiments.md for detailed explanations and some comparisons.

Please create a PR if you know of other (better?) encodings!

Usage

$ make install # or make run

Then use blc2blc <from> <to>. For example:

$ echo 001110 | blc2blc blc blc2
0011100