provide language, reduction relation, and typing judgment from stlc.rkt

2012-10-21 19:54:52 -05:00 · 2012-10-21 19:54:52 -05:00 · 67d52138f9
commit 67d52138f9
parent 9baefbe725
1 changed files with 1 additions and 0 deletions
--- 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)