Untyped Lambda Calculus
ULC is a small functional programming language based on Lambda Calculus(also known as untyped lambda calculus) with an interpreter (also compiles(pre-alpha) to SKI combinators). The syntax and semantics are similar to styla but ULC adds let
bindings, pairs
and removes typing.
Clone the repo and cd
into the repo folder and then execute -
npm install -g
After it successfully installs then type(to open the REPL) -
ulc