glambda-1.0.2: A simply typed lambda calculus interpreter, written with GADTs

Copyright(C) 2015 Richard Eisenberg
LicenseBSD-style (see LICENSE)
MaintainerRichard Eisenberg (rae@cs.brynmawr.edu)
Stabilityexperimental
Safe HaskellSafe
LanguageHaskell2010

Language.Glambda.Statement

Description

Defines the Glambda Statement type, which can either be a bare expression or a global variable assignment.

Synopsis

Documentation

data Statement Source #

A statement can either be a bare expression, which will be evaluated, or an assignment to a global variable.