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

Copyright(C) 2015 Richard Eisenberg
LicenseBSD-style (see LICENSE)
MaintainerRichard Eisenberg (eir@cis.upenn.edu)
Stabilityexperimental
Safe HaskellNone
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.

Instances