Skip to content

Instantly share code, notes, and snippets.

@jeapostrophe
Created July 20, 2010 18:15
Show Gist options
  • Save jeapostrophe/483321 to your computer and use it in GitHub Desktop.
Save jeapostrophe/483321 to your computer and use it in GitHub Desktop.
(define (list-ref/random l)
(list-ref l (random (length l))))
(define (apply-reduction-relation/random red t)
(define tps (apply-reduction-relation red t))
(if (empty? tps)
t
(apply-reduction-relation/random red (list-ref/random tps))))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment