schuster

#lang racket

(require
 rackunit
 (for-syntax syntax/parse))

(define-simple-check (check-foo? actual)
  (equal? actual 'foo))

(define-syntax (test-foo? stx)

schuster

#lang racket

(require nanopass)

(define-language L
  (terminals
   (number (n))
   (symbol (x)))
  (Exp (e) (n ... x ...)))

schuster

#lang racket

(require nanopass)

(define-language L
  (terminals
   (number (n)))
  (Exp (e)
       n
       (+ e e)))

schuster

[blackrock components]% tcp-read: error reading
  system error: Connection timed out; errno=110
  context...:
   /home/schu/projects/racket-irc/irc/main.rkt:41:12: loop

schuster

#lang racket

(require redex)

(define (apply-reduction-relation*/random rel t)
  (define results (apply-reduction-relation rel t))
  (cond [(null? results) (list t)]
        [else (apply-reduction-relation*/random rel (list-ref results (random (length results))))]))