Demonstration of a custom reduction strategy (apply-reduction-relation*/random)

gistfile1.rkt

#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))))]))