simple_definetype - [sub(lhs WAE(rhs WAE[with(b...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
#lang planet plai/plai (define-type Binding [binding (name symbol?) (named-expr WAE?)]) (define-type WAE [num (n number?)] [add (lhs WAE?) (rhs WAE?)]
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: [sub (lhs WAE?) (rhs WAE?)] [with (b Binding?) (body WAE?)] [id (name symbol?)]) (with (binding 'x (num 3)) (id 'x))...
View Full Document

This document was uploaded on 02/12/2010.

Ask a homework question - tutors are online