clklein

#lang racket

(require redex)

(define-language STLC
  (e (e e)
     x
     v)
  (v (λ (x) e)
     integer

clklein

#lang racket

(require redex)


;                                                                        
;                                                                        
;                                                                        
;   ;;;;             ;;    ;             ;             ;                 
;   ;   ;           ;      ;             ;     ;       ;                 

clklein

#lang racket

(require redex/pict
         redex/reduction-semantics)


;                                                                        
;                                                                        
;                                                                        
;   ;;;;             ;;    ;             ;             ;