Skip to content

A variant of the λToy language from COMP2212 Programming Language Concepts.

License

Notifications You must be signed in to change notification settings

inventor02/lambda-toy

Repository files navigation

lambda-toy

A variant of the λToy language from COMP2212 Programming Language Concepts, based heavily on lectures and material from Dr Julian Rathke.

Grammar

T ::= Int | Bool | T -> T | (T, T)

E ::= $digits | true | false | (E, E) | E < E | E + E | $varname | if E then E else E | \($varname : T) E | let ($varname : T) = E in E | E E

Usage

You can either execute the toyi binary, or run toy <filename> where <filename> is a λToy program file.

About

A variant of the λToy language from COMP2212 Programming Language Concepts.

Resources

License

Stars

Watchers

Forks