Easily convert binary lambda calculus encodings to other binary lambda calculus encodings!
See experiments.md for detailed explanations and
some comparisons.
Please create a PR if you know of other (better?) encodings!
$ make install # or make runThen use blc2blc <from> <to>. For example:
$ echo 001110 | blc2blc blc blc2
0011100