id: "blc"
aliases:
  - "binarylambdacalculus"
  - "lc"
  - "binary"
  - "lambdacalculus"
  - "lambda"
name: "Binary Lambda Calculus"

info:
  year: 2004
  desc: "Minimal, pure functional programming language invented by John Tromp in 2004, based on a binary encoding of the untyped lambda calculus in De Bruijn index notation"
  ext: blc
  web:
    wiki: "https://en.wikipedia.org/wiki/Binary_combinatory_logic"
    esolang: "https://esolangs.org/wiki/Binary_lambda_calculus"
    home: "https://tromp.github.io/cl/Binary_lambda_calculus.html"
    impl: "https://www.ioccc.org/2012/tromp/hint.html"
    source: "https://www.ioccc.org/2012/tromp/tromp.c"
  category: esoteric
  mode: interpreted
  platform: []
  syntax: []
  typing: lambda
  paradigm: functional
  usage: []

main: "main.blc"
template: |
  001010100100100001100101011011000110110001101111001011000010
  000001110111011011110111001001101100011001000010000100001010

run: |
  cat main.blc | binary-to-text | tromp