29-10-2009, 02:08 PM
[attachment=230]
Abstract
This document describes implementation of enriched lambda calculus. The implemented language has two evaluation methodologies, one normal evaluation order (from left to right) and call by value. Everything including the numerals is represented as pure lambda expressions