From 67d52138f9bac4f637a8fa5f567a78c2836bdea6 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 21 Oct 2012 19:54:52 -0500 Subject: [PATCH] provide language, reduction relation, and typing judgment from stlc.rkt --- collects/redex/examples/stlc.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/redex/examples/stlc.rkt b/collects/redex/examples/stlc.rkt index 73c81efaf6..8eafccbd65 100644 --- a/collects/redex/examples/stlc.rkt +++ b/collects/redex/examples/stlc.rkt @@ -1,5 +1,6 @@ #lang racket (require redex) +(provide λv red typeof) (define-language λv (e (e e ...) (if0 e e e) (+ e e) x v)