Stars

Stars is a Turing-complete esoteric programming language created by User:TheCanon2. Stars' syntax is composed entirely of asterisks and spaces, and is based on lambda calculus.

Commands

Stars has four commands.

Opcode	Command	Action
1	* (x)	λx.
2	**	applied to
3	***	(
4	****	)

Opcodes greater than 4 are all used for variables and function names.

Examples

XKCD Random Number

* ***** * ****** ***** ** *** ***** ** *** ***** ** *** ***** ** ****** **** **** ****

In lambda calculus:

λf.λx.f(f(f(fx)))

True

* ***** * ****** *****

In lambda calculus:

λx.λy.x

False

* ***** * ****** ******

In lambda calculus:

λx.λy.y

A+1 problem

* ***** * ****** * ******* ****** ** *** ***** ** ****** ** ******* ****

In lambda calculus:

λn.λf.λx.f(nfx)