Copyright	(C) 2015 Richard Eisenberg
License	BSD-style (see LICENSE)
Maintainer	Richard Eisenberg (rae@cs.brynmawr.edu)
Stability	experimental
Safe Haskell	Safe
Language	Haskell2010

Language.Glambda.Eval

Description

Glambda expression evaluators for checked expressions.

Synopsis

Documentation

eval :: Exp '[] t -> Val t Source #

Evaluate an expression, using big-step semantics.

step :: Exp '[] t -> Either (Exp '[] t) (Val t) Source #

Step an expression, either to another expression or to a value.