Fork me

BRO is an educational application. It is intended to assist students who are learning lambda calculus. It is written in Purescript.

Type lambda expression to start:

Examples:

Click on highlighted parts of expression to reduce it or enter another one.

Hide type information if you're not interested in it.

Error: . You can go back and try again.