glambda-1.0.1: 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.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.