Untyped Extended Syntax (2)

program :: expression

expression :: x

| constant

| operator

| (expression expression)

| (expression operator expression)

| l x . expression

| ( expression )

Previous slide

Next slide

Back to first slide

View graphic version