flow-lambda

Type-level lambda calculus implementation in Flow via $Call.

See src/index.js.

---

The repository also contains converter from lambda calculus notation to Flow.

# Example:
$ node ./lc-to-flow.js "λs. \z. s (s (s (s z)))"

For haskell version of the converter see lc-to-flow.hs/.